Results of search for 'ccl=su:{Software} and su-to:Artificial intelligence and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4959 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)
	402.	Declarative Agent Languages and Technologies V [electronic resource] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / by Baldoni, Matteo [editor.] Son, Tran Cao [editor.] van Riemsdijk, M. Birna [editor.] Winikoff, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4897 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)
	403.	Context-Aware Systems and Applications, and Nature of Computation and Communication [electronic resource] : 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26–27, 2020, Proceedings / by Vinh, Phan Cong [editor.] Rakib, Abdur [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 343 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)
	404.	Mathematical Modeling and Supercomputer Technologies [electronic resource] : 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by Balandin, Dmitry [editor.] Barkalov, Konstantin [editor.] Gergel, Victor [editor.] Meyerov, Iosif [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1413 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)
	405.	Information and Software Technologies [electronic resource] : 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by Lopata, Audrius [editor.] Gudonienė, Daina [editor.] Butkienė, Rita [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1486 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)
	406.	Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Reinhartz-Berger, Iris [editor.] Sadiq, Shazia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13012 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)
	407.	Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings / by Denœux, Thierry [editor.] Lefèvre, Eric [editor.] Liu, Zhunga [editor.] Pichon, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12915 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)
	408.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 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.	Engineering Multi-Agent Systems [electronic resource] : 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers / by Alechina, Natasha [editor.] Baldoni, Matteo [editor.] Logan, Brian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13190 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)
	410.	Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / by Moral, Serafín [editor.] Pivert, Olivier [editor.] Sánchez, Daniel [editor.] Marín, Nicolás [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10564 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)
	411.	Optimization and Applications [electronic resource] : 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers / by Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] Posypkin, Mikhail [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1145 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)
	412.	Machine Learning, Optimization, and Data Science [electronic resource] : 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I / by Nicosia, Giuseppe [editor.] Ojha, Varun [editor.] La Malfa, Emanuele [editor.] Jansen, Giorgio [editor.] Sciacca, Vincenzo [editor.] Pardalos, Panos [editor.] Giuffrida, Giovanni [editor.] Umeton, Renato [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12565 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)
	413.	Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by Pichardie, David [editor.] Sighireanu, Mihaela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12389 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)
	414.	Data and Applications Security and Privacy XXXVI [electronic resource] : 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18–20, 2022, Proceedings / by Sural, Shamik [editor.] Lu, Haibing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13383 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)
	415.	Advanced Research in Technologies, Information, Innovation and Sustainability [electronic resource] : Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12–15, 2022, Revised Selected Papers, Part II / by Guarda, Teresa [editor.] Portela, Filipe [editor.] Augusto, Maria Fernanda [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1676 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)
	416.	AIxIA 2022 – Advances in Artificial Intelligence [electronic resource] : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings / by Dovier, Agostino [editor.] Montanari, Angelo [editor.] Orlandini, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13796 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)
	417.	Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / by Chetouani, Mohamed [editor.] Dignum, Virginia [editor.] Lukowicz, Paul [editor.] Sierra, Carles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13500 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)
	418.	Applications of Evolutionary Computation [electronic resource] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / by Squillero, Giovanni [editor.] Burelli, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9597 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)
	419.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / by Machado, Ricardo J [editor.] Maciel, Rita Suzana [editor.] Rubin, Julia [editor.] Botterweck, Goetz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7706 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	420.	Ubiquitous Networking [electronic resource] : Third International Symposium, UNet 2017, Casablanca, Morocco, May 9-12, 2017, Revised Selected Papers / by Sabir, Essaid [editor.] García Armada, Ana [editor.] Ghogho, Mounir [editor.] Debbah, Mérouane [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10542 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1521 results.