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

Results
	401.	Advances in Cryptology – CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I / by Boldyreva, Alexandra [editor.] Micciancio, Daniele [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11692 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)
	402.	Sequential and Parallel Algorithms and Data Structures [electronic resource] : The Basic Toolbox / by Sanders, Peter [author.] Mehlhorn, Kurt [author.] Dietzfelbinger, Martin [author.] Dementiev, Roman [author.] SpringerLink (Online service) 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)
	403.	Computer Algebra in Scientific Computing [electronic resource] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by England, Matthew [editor.] Koepf, Wolfram [editor.] Sadykov, Timur M [editor.] Seiler, Werner M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11661 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)
	404.	String Processing and Information Retrieval [electronic resource] : 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings / by Brisaboa, Nieves R [editor.] Puglisi, Simon J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11811 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)
	405.	Algorithms for Sensor Systems [electronic resource] : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by Dressler, Falko [editor.] Scheideler, Christian [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 11931 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)
	406.	Approximation and Online Algorithms [electronic resource] : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by Bampis, Evripidis [editor.] Megow, Nicole [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11926 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)
	407.	Variable Domain-specific Software Languages with DjDSL [electronic resource] : Design and Implementation / by Sobernig, Stefan [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)
	408.	HCI International 2021 - Late Breaking Posters [electronic resource] : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by Stephanidis, Constantine [editor.] Antona, Margherita [editor.] Ntoa, Stavroula [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1499 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	409.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / by Kotsireas, Ilias S [editor.] Rump, Siegfried M [editor.] Yap, Chee K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9582 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)
	410.	Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / by Combemale, Benoit [editor.] Cheng, Betty H.C [editor.] France, Robert B [editor.] Jézéquel, Jean-Marc [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9400 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	411.	Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	412.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 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)
	413.	Topics in Cryptology – CT-RSA 2019 [electronic resource] : The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings / by Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11405 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)
	414.	IoT as a Service [electronic resource] : 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings / by Li, Bo [editor.] Yang, Mao [editor.] Yuan, Hui [editor.] Yan, Zhongjiang [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 271 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)
	415.	NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11460 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)
	416.	Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by Zamani, Majid [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11652 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)
	417.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by Romanovsky, Alexander [editor.] Troubitsyna, Elena [editor.] Gashi, Ilir [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11699 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)
	418.	Business Process Management [electronic resource] : 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / by Hildebrandt, Thomas [editor.] van Dongen, Boudewijn F [editor.] Röglinger, Maximilian [editor.] Mendling, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11675 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)
	419.	Progress in Cryptology – LATINCRYPT 2019 [electronic resource] : 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings / by Schwabe, Peter [editor.] Thériault, Nicolas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11774 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)
	420.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.