Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	541.	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)
	542.	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)
	543.	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)
	544.	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)
	545.	An Introduction to Computational Origami [electronic resource] / by Ida, Tetsuo [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	546.	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)
	547.	Financial Cryptography and Data Security [electronic resource] : 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers / by Eyal, Ittay [editor.] Garay, Juan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13411 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)
	548.	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)
	549.	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)
	550.	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)
	551.	Security and Cryptography for Networks [electronic resource] : 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings / by Abdalla, Michel [editor.] De Prisco, Roberto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8642 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)
	552.	Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I / by Pernul, Günther [editor.] Y A Ryan, Peter [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9326 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)
	553.	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)
	554.	Internet and Network Economics [electronic resource] : First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings / by Deng, Xiaotie [editor.] Ye, Yinyu [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3828 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)
	555.	Information Security Practice and Experience [electronic resource] : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017, Proceedings / by Liu, Joseph K [editor.] Samarati, Pierangela [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10701 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	556.	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)
	557.	Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by Fleuriot, Jacques [editor.] Wang, Dongming [editor.] Calmet, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11110 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)
	558.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12–14, 2018, Proceedings / by Agre, Gennady [editor.] van Genabith, Josef [editor.] Declerck, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11089 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)
	559.	Studies on Speech Production [electronic resource] : 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers / by Fang, Qiang [editor.] Dang, Jianwu [editor.] Perrier, Pascal [editor.] Wei, Jianguo [editor.] Wang, Longbiao [editor.] Yan, Nan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10733 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)
	560.	Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8–10, 2018, Revised Selected Papers, Part IV / by Sun, Xingming [editor.] Pan, Zhaoqing [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11066 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 7886 results.