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 itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Cooperative Information Systems [electronic resource] : 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceedings / by Sellami, Mohamed [editor.] Ceravolo, Paolo [editor.] Reijers, Hajo A [editor.] Gaaloul, Walid [editor.] Panetto, Hervé [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13591 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)
	82.	Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Slind, Konrad [editor.] Bunker, Annette [editor.] Gopalakrishnan, Ganesh C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3223 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)
	83.	HCI International 2022 – Late Breaking Papers: HCI for Today's Community and Economy [electronic resource] : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26–July 1, 2022, Proceedings / by Rauterberg, Matthias [editor.] Fui-Hoon Nah, Fiona [editor.] Siau, Keng [editor.] Krömker, Heidi [editor.] Wei, June [editor.] Salvendy, Gavriel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13520 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)
	84.	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)
	85.	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)
	86.	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)
	87.	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)
	88.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings / by Milius, Birgit [editor.] Collart-Dutilleul, Simon [editor.] Lecomte, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14198 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)
	89.	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)
	90.	Database and Expert Systems Applications [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part I / by Strauss, Christine [editor.] Cuzzocrea, Alfredo [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13426 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)
	91.	Service-Oriented Computing [electronic resource] : 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings / by Troya, Javier [editor.] Medjahed, Brahim [editor.] Piattini, Mario [editor.] Yao, Lina [editor.] Fernández, Pablo [editor.] Ruiz-Cortés, Antonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13740 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)
	92.	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)
	93.	Database and Expert Systems Applications [electronic resource] : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part I / 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 ; 14146 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)
	94.	Cooperative Information Systems [electronic resource] : 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30–November 3, 2023, Proceedings / by Sellami, Mohamed [editor.] Vidal, Maria-Esther [editor.] van Dongen, Boudewijn [editor.] Gaaloul, Walid [editor.] Panetto, Hervé [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14353 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14216 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)
	96.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14215 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)
	97.	Advances in Conceptual Modeling [electronic resource] : ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Sales, Tiago Prince [editor.] Araújo, João [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14319 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)
	98.	Conceptual Modeling [electronic resource] : 42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Almeida, João Paulo A [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] Link, Sebastian [editor.] Zdravkovic, Jelena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14320 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)
	99.	Advanced Parallel Processing Technologies [electronic resource] : 15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings / by Li, Chao [editor.] Li, Zhenhua [editor.] Shen, Li [editor.] Wu, Fan [editor.] Gong, Xiaoli [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14103 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)
	100.	Object-Oriented and Internet-Based Technologies [electronic resource] : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27–30, 2004 Proceedings / by Weske, Mathias [editor.] Liggesmeyer, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3263 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 236 results.