Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Artificial intelligence and su-to:Artificial intelligence and su-to:Software engineering and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Sense, Feel, Design [electronic resource] : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers / by Ardito, Carmelo [editor.] Lanzilotti, Rosa [editor.] Malizia, Alessio [editor.] Larusdottir, Marta [editor.] Spano, Lucio Davide [editor.] Campos, José [editor.] Hertzum, Morten [editor.] Mentler, Tilo [editor.] Abdelnour Nocera, José [editor.] Piccolo, Lara [editor.] Sauer, Stefan [editor.] van der Veer, Gerrit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13198 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)
	42.	NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / by Rozier, Kristin Yvonne [editor.] Chaudhuri, Swarat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13903 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)
	43.	Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part II / by Strauss, Christine [editor.] Amagasa, Toshiyuki [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14147 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)
	44.	Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Medvet, Eric [editor.] Pappa, Gisele [editor.] Xue, Bing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13223 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)
	45.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10475 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)
	46.	Computational Science and Its Applications – ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3–6, 2023, Proceedings, Part VIII / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] Scorza, Francesco [editor.] Karaca, Yeliz [editor.] Torre, Carmelo M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14111 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)
	47.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10476 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)
	48.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14074 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)
	49.	Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III / by Enea, Constantin [editor.] Lal, Akash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13966 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)
	50.	Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II / by Enea, Constantin [editor.] Lal, Akash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13965 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)
	51.	Collaboration Technologies and Social Computing [electronic resource] : 29th International Conference, CollabTech 2023, Osaka, Japan, August 29–September 1, 2023, Proceedings / by Takada, Hideyuki [editor.] Marutschke, D. Moritz [editor.] Alvarez, Claudio [editor.] Inoue, Tomoo [editor.] Hayashi, Yugo [editor.] Hernandez-Leo, Davinia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14199 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)
	52.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10477 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)
	53.	Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Hanus, Michael [editor.] Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13215 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)
	54.	Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / by Enea, Constantin [editor.] Lal, Akash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13964 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)
	55.	Machine Learning and Knowledge Extraction [electronic resource] : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 – September 1, 2023, Proceedings / by Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Cabitza, Federico [editor.] Campagner, Andrea [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14065 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)
	56.	Software Engineering Research and Applications [electronic resource] : First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers / by Ramamoorthy, C.V [editor.] Lee, Roger Y [editor.] Lee, Kyung Whan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3026 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)
	57.	Objects, Agents, and Features [electronic resource] : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers / by Ryan, Mark [editor.] Meyer, John-Jules Ch [editor.] Ehrich, Hans-Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2975 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)
	58.	Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / by Hu, Alan J [editor.] Martin, Andrew K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3312 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)
	59.	Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by Dean, C. Neville [editor.] Boute, Raymond T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3294 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)
	60.	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 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 236 results.