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
	261.	Software Architecture [electronic resource] : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / by Morrison, Ronald [editor.] Balasubramaniam, Dharini [editor.] Falkner, Katrina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5292 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	262.	Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / by Gschwind, Thomas [editor.] De Paoli, Flavio [editor.] Gruhn, Volker [editor.] Book, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7306 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	263.	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / by Lumpe, Markus [editor.] Vanderperren, Wim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4829 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	264.	WALCOM: Algorithms and Computation [electronic resource] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings / by KATOH, NAOKI [editor.] Kumar, Amit [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6552 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)
	265.	DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings / by Doty, David [editor.] Dietz, Hendrik [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11145 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)
	266.	Combinatorial Optimization and Applications [electronic resource] : 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by Kim, Donghyun [editor.] Uma, R. N [editor.] Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11346 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)
	267.	Progress in Cryptology – INDOCRYPT 2018 [electronic resource] : 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings / by Chakraborty, Debrup [editor.] Iwata, Tetsu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11356 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)
	268.	Ad Hoc Networks [electronic resource] : 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / by Zheng, Jun [editor.] Li, Cheng [editor.] Chong, Peter Han Joo [editor.] Meng, Weixiao [editor.] Yan, Feng [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 306 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)
	269.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by Chakraborty, Supratik [editor.] Navas, Jorge A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12031 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)
	270.	Human Aspects of IT for the Aged Population. Technology and Society [electronic resource] : 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by Gao, Qin [editor.] Zhou, Jia [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12209 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)
	271.	Financial Cryptography and Data Security [electronic resource] : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers / by Bernhard, Matthew [editor.] Bracciali, Andrea [editor.] Camp, L. Jean [editor.] Matsuo, Shin'ichiro [editor.] Maurushat, Alana [editor.] Rønne, Peter B [editor.] Sala, Massimiliano [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12063 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)
	272.	NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by Lee, Ritchie [editor.] Jha, Susmit [editor.] Mavridou, Anastasia [editor.] Giannakopoulou, Dimitra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12229 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)
	273.	Advances in Cryptology – CRYPTO 2020 [electronic resource] : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part II / by Micciancio, Daniele [editor.] Ristenpart, Thomas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12171 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)
	274.	Neural Computing for Advanced Applications [electronic resource] : Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II / by Zhang, Haijun [editor.] Chen, Yuehui [editor.] Chu, Xianghua [editor.] Zhang, Zhao [editor.] Hao, Tianyong [editor.] Wu, Zhou [editor.] Yang, Yimin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1638 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	275.	Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Bouajjani, Ahmed [editor.] Holík, Lukáš [editor.] Wu, Zhilin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13505 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	276.	Introduction to the Tools of Scientific Computing [electronic resource] / by Smith, Einar [author.] SpringerLink (Online service) Series: Texts in Computational Science and Engineering ; 25 Edition: 2nd ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	277.	Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation [electronic resource] : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers / by Polovina, Rubina [editor.] Polovina, Simon [editor.] Kemp, Neil [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1694 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	278.	Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Torra, Vicenç [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9980 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)
	279.	Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] Ricca, Francesco [editor.] Parent, Xavier [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11092 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)
	280.	Cryptology and Network Security [electronic resource] : 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings / by Camenisch, Jan [editor.] Papadimitratos, Panos [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11124 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 3774 results.