Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1261.	Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by Peltier, Nicolas [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12167 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)
	1262.	Progress in Cryptology - AFRICACRYPT 2020 [electronic resource] : 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings / by Nitaj, Abderrahmane [editor.] Youssef, Amr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12174 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)
	1263.	Modeling Decisions for Artificial Intelligence [electronic resource] : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings / by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Nin, Jordi [editor.] Agell, Núria [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12256 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)
	1264.	Wireless and Satellite Systems [electronic resource] : 11th EAI International Conference, WiSATS 2020, Nanjing, China, September 17-18, 2020, Proceedings, Part II / by Wu, Qihui [editor.] Zhao, Kanglian [editor.] Ding, Xiaojin [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 358 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)
	1265.	Geometric Science of Information [electronic resource] : 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings / by Nielsen, Frank [editor.] Barbaresco, Frédéric [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12829 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)
	1266.	Advances in Cryptology – CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II / by Malkin, Tal [editor.] Peikert, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12826 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)
	1267.	Document Analysis and Recognition – ICDAR 2021 [electronic resource] : 16th International Conference, Lausanne, Switzerland, September 5–10, 2021, Proceedings, Part I / by Lladós, Josep [editor.] Lopresti, Daniel [editor.] Uchida, Seiichi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12821 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)
	1268.	Cyberspace Safety and Security [electronic resource] : 14th International Symposium, CSS 2022, Xi'an, China, October 16–18, 2022, Proceedings / by Chen, Xiaofeng [editor.] Shen, Jian [editor.] Susilo, Willy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13547 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)
	1269.	Human Brain and Artificial Intelligence [electronic resource] : Third International Workshop, HBAI 2022, Held in Conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022, Revised Selected Papers / by Ying, Xiaomin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1692 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1270.	Wineinformatics [electronic resource] : A New Data Science Application / by Chen, Bernard [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1271.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I / by Fan, Wenhui [editor.] Zhang, Lin [editor.] Li, Ni [editor.] Song, Xiao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1712 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)
	1272.	Formal Analysis for Natural Language Processing: A Handbook [electronic resource] / by Feng, Zhiwei [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1273.	FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / by Jones, Cliff [editor.] Pihlajasaari, Pekka [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8442 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)
	1274.	Structural Information and Communication Complexity [electronic resource] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings / by Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8576 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)
	1275.	Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings / by Flatt, Matthew [editor.] Guo, Hai-Feng [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8324 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)
	1276.	Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Sinz, Carsten [editor.] Egly, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8561 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)
	1277.	Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / by Le Goues, Claire [editor.] Yoo, Shin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8636 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)
	1278.	NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8430 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)
	1279.	Human-Computer Interaction. Theories, Methods, and Tools [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8510 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)
	1280.	Secure Data Management [electronic resource] : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings / by Jonker, Willem [editor.] Petković, Milan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8425 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.