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
	1121.	Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by Parisi-Presicce, Francesco [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9151 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)
	1122.	Computer Information Systems and Industrial Management [electronic resource] : 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings / by Saeed, Khalid [editor.] Dvorský, Jiří [editor.] Nishiuchi, Nobuyuki [editor.] Fukumoto, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14164 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)
	1123.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Cimatti, Alessandro [editor.] Titolo, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14290 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)
	1124.	KI 2023: Advances in Artificial Intelligence [electronic resource] : 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings / by Seipel, Dietmar [editor.] Steen, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14236 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)
	1125.	Electronic Voting [electronic resource] : 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings / by Volkamer, Melanie [editor.] Duenas-Cid, David [editor.] Rønne, Peter [editor.] Ryan, Peter Y. A [editor.] Budurushi, Jurlind [editor.] Kulyk, Oksana [editor.] Rodriguez Pérez, Adrià [editor.] Spycher-Krivonosova, Iuliia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14230 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)
	1126.	Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / by Gaggl, Sarah [editor.] Martinez, Maria Vanina [editor.] Ortiz, Magdalena [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14281 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)
	1127.	Engineering Psychology and Cognitive Ergonomics [electronic resource] : 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / by Harris, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9736 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)
	1128.	Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Bubak, Marian [editor.] Albada, Geert Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3038 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1129.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Régin, Jean-Charles [editor.] Rueher, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3011 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1130.	Engineering Self-Organising Systems [electronic resource] : Nature-Inspired Approaches to Software Engineering / by Di Marzo Serugendo, Giovanna [editor.] Karageorgos, Anthony [editor.] Rana, Omer F [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2977 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1131.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 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)
	1132.	Information and Communication Technologies [electronic resource] : 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18–20, 2023, Proceedings / by Maldonado-Mahauad, Jorge [editor.] Herrera-Tapia, Jorge [editor.] Zambrano-Martínez, Jorge Luis [editor.] Berrezueta, Santiago [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1885 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)
	1133.	Formal Concept Analysis [electronic resource] : Foundations and Applications / by Ganter, Bernhard [editor.] Stumme, Gerd [editor.] Wille, Rudolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3626 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)
	1134.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	1135.	Text Analysis Pipelines [electronic resource] : Towards Ad-hoc Large-Scale Text Mining / by Wachsmuth, Henning [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9383 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)
	1136.	Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / by Eisinger, Norbert [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3564 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)
	1137.	Algorithm Engineering [electronic resource] : Selected Results and Surveys / by Kliemann, Lasse [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9220 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)
	1138.	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)
	1139.	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)
	1140.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1521 results.