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

Results
	5801.	ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / by Katoen, Joost-Pieter [editor.] Langerak, Rom [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10500 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)
	5802.	Text Processing [electronic resource] : FIRE 2016 International Workshop, Kolkata, India, December 7–10, 2016, Revised Selected Papers / by Majumder, Prasenjit [editor.] Mitra, Mandar [editor.] Mehta, Parth [editor.] Sankhavara, Jainisha [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10478 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)
	5803.	Braverman Readings in Machine Learning. Key Ideas from Inception to Current State [electronic resource] : International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks / by Rozonoer, Lev [editor.] Mirkin, Boris [editor.] Muchnik, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11100 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)
	5804.	Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / by Guttman, Joshua D [editor.] Landwehr, Carl E [editor.] Meseguer, José [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11565 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)
	5805.	Advances in Signal Processing and Intelligent Recognition Systems [electronic resource] : 5th International Symposium, SIRS 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers / by Thampi, Sabu M [editor.] Hegde, Rajesh M [editor.] Krishnan, Sri [editor.] Mukhopadhyay, Jayanta [editor.] Chaudhary, Vipin [editor.] Marques, Oge [editor.] Piramuthu, Selwyn [editor.] Corchado, Juan M [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1209 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)
	5806.	Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by Nigam, Vivek [editor.] Ban Kirigin, Tajana [editor.] Talcott, Carolyn [editor.] Guttman, Joshua [editor.] Kuznetsov, Stepan [editor.] Thau Loo, Boon [editor.] Okada, Mitsuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12300 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)
	5807.	Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12345 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)
	5808.	Probabilistic Graphical Models [electronic resource] : Principles and Applications / by Sucar, Luis Enrique [author.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition Edition: 2nd 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)
	5809.	Algebra and Geometry with Python [electronic resource] / by Kurgalin, Sergei [author.] Borzunov, Sergei [author.] SpringerLink (Online service) 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)
	5810.	Big Data Analytics and Knowledge Discovery [electronic resource] : 23rd International Conference, DaWaK 2021, Virtual Event, September 27–30, 2021, Proceedings / by Golfarelli, Matteo [editor.] Wrembel, Robert [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12925 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)
	5811.	Introduction to Privacy Enhancing Technologies [electronic resource] : A Classification-Based Approach to Understanding PETs / by Adams, Carlisle [author.] SpringerLink (Online service) 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)
	5812.	Blockchain Foundations and Applications [electronic resource] / by Yi, Xun [author.] Yang, Xuechao [author.] Kelarev, Andrei [author.] Lam, Kwok Yan [author.] Tari, Zahir [author.] SpringerLink (Online service) Series: SpringerBriefs in Applied Sciences and Technology 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)
	5813.	Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by Calvaresi, Davide [editor.] Najjar, Amro [editor.] Winikoff, Michael [editor.] Främling, Kary [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13283 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)
	5814.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13660 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)
	5815.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part II / by Amini, Massih-Reza [editor.] Canu, Stéphane [editor.] Fischer, Asja [editor.] Guns, Tias [editor.] Kralj Novak, Petra [editor.] Tsoumakas, Grigorios [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13714 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5816.	Service-Oriented Computing – ICSOC 2022 Workshops [electronic resource] : ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings / by Troya, Javier [editor.] Mirandola, Raffaela [editor.] Navarro, Elena [editor.] Delgado, Andrea [editor.] Segura, Sergio [editor.] Ortiz, Guadalupe [editor.] Pautasso, Cesare [editor.] Zirpins, Christian [editor.] Fernández, Pablo [editor.] Ruiz-Cortés, Antonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13821 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5817.	Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / by Herzig, Andreas [editor.] Luo, Jieting [editor.] Pardo, Pere [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14156 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5818.	Provable and Practical Security [electronic resource] : 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings / by Zhang, Mingwu [editor.] Au, Man Ho [editor.] Zhang, Yudi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14217 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5819.	Health Information Science [electronic resource] : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings / by Li, Yan [editor.] Huang, Zhisheng [editor.] Sharma, Manik [editor.] Chen, Lu [editor.] Zhou, Rui [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14305 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)
	5820.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25–26, 2023, Proceedings, Part I / by Hassan, Fazilah [editor.] Sunar, Noorhazirah [editor.] Mohd Basri, Mohd Ariffanan [editor.] Mahmud, Mohd Saiful Azimi [editor.] Ishak, Mohamad Hafis Izran [editor.] Mohamed Ali, Mohamed Sultan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1911 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 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.