Results of search for 'ccl=su:{ Computer science } and su-to:Computer Science and Engineering and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	561.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] Satapathy, Suresh Chandra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9873 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	562.	Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 4th International Conference, SPACE 2014, Pune, India, October 18-22, 2014. Proceedings / by Chakraborty, Rajat Subhra [editor.] Matyas, Vashek [editor.] Schaumont, Patrick [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8804 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	563.	Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by Abdallah, Ali E [editor.] Jones, Cliff B [editor.] Sanders, Jeff W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3525 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	564.	Coordination Models and Languages [electronic resource] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by Lluch Lafuente, Alberto [editor.] Proença, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9686 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	565.	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3923 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	566.	Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings / by Gopalakrishnan, Ganesh [editor.] Qadeer, Shaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6806 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	567.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / by Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10806 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	568.	Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by Ahmed, Amal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10801 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	569.	Advances in Cryptology – EUROCRYPT 2018 [electronic resource] : 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III / by Nielsen, Jesper Buus [editor.] Rijmen, Vincent [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10822 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	570.	Advances in Cryptology – EUROCRYPT 2018 [electronic resource] : 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II / by Nielsen, Jesper Buus [editor.] Rijmen, Vincent [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10821 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	571.	Advances in Cryptology – EUROCRYPT 2018 [electronic resource] : 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I / by Nielsen, Jesper Buus [editor.] Rijmen, Vincent [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10820 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	572.	Public-Key Cryptography – PKC 2019 [electronic resource] : 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I / by Lin, Dongdai [editor.] Sako, Kazue [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11442 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	573.	Communications and Networking [electronic resource] : 14th EAI International Conference, ChinaCom 2019, Shanghai, China, November 29 – December 1, 2019, Proceedings, Part I / by Gao, Honghao [editor.] Feng, Zhiyong [editor.] Yu, Jun [editor.] Wu, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 312 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	574.	Distributed Graph Analytics [electronic resource] : Programming, Languages, and Their Compilation / by Cheramangalath, Unnikrishnan [author.] Nasre, Rupesh [author.] Srikant, Y. N [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	575.	Computer Networks [electronic resource] : 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings / by Gaj, Piotr [editor.] Gumiński, Wojciech [editor.] Kwiecień, Andrzej [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1231 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	576.	Code-Based Cryptography [electronic resource] : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers / by Baldi, Marco [editor.] Persichetti, Edoardo [editor.] Santini, Paolo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12087 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	577.	Structural Information and Communication Complexity [electronic resource] : 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / by Richa, Andrea Werneck [editor.] Scheideler, Christian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12156 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	578.	Functional and Logic Programming [electronic resource] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / by Nakano, Keisuke [editor.] Sagonas, Konstantinos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12073 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	579.	Artificial Intelligence and Security [electronic resource] : 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part III / by Sun, Xingming [editor.] Wang, Jinwei [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1254 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	580.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers / by Sakamoto, Maki [editor.] Okazaki, Naoaki [editor.] Mineshima, Koji [editor.] Satoh, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12331 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 3774 results.