Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Software Engineering and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	621.	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)
	622.	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)
	623.	Optimising the Software Development Process with Artificial Intelligence [electronic resource] / by Romero, José Raúl [editor.] Medina-Bulo, Inmaculada [editor.] Chicano, Francisco [editor.] SpringerLink (Online service) Series: Natural Computing Series 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)
	624.	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)
	625.	Systems, Software and Services Process Improvement [electronic resource] : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part II / by Yilmaz, Murat [editor.] Clarke, Paul [editor.] Riel, Andreas [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1891 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)
	626.	Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / by Domenach, Florent [editor.] Ignatov, Dmitry [editor.] Poelmans, Jonas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7278 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	627.	SOFSEM 2015: Theory and Practice of Computer Science [electronic resource] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / by Italiano, Giuseppe [editor.] Margaria-Steffen, Tiziana [editor.] Pokorný, Jaroslav [editor.] Quisquater, Jean-Jacques [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8939 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	628.	Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / by Dastani, Mehdi [editor.] Hübner, Jomi F [editor.] Logan, Brain [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7837 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)
	629.	Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / by Collet, Pierre [editor.] Tomassini, Marco [editor.] Ebner, Marc [editor.] Gustafson, Steven [editor.] Ekárt, Anikó [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3905 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	630.	Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / by Cossentino, Massimo [editor.] Kaisers, Michael [editor.] Tuyls, Karl [editor.] Weiss, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7541 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	631.	Computational Logistics [electronic resource] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings / by Böse, Jürgen W [editor.] Hu, Hao [editor.] Jahn, Carlos [editor.] Shi, Xiaoning [editor.] Stahlbock, Robert [editor.] Voß, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6971 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	632.	Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / by Strichman, Ofer [editor.] Tzoref-Brill, Rachel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10629 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)
	633.	Artificial Intelligence and Soft Computing [electronic resource] : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Korytkowski, Marcin [editor.] Pedrycz, Witold [editor.] Tadeusiewicz, Ryszard [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10841 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)
	634.	Artificial Intelligence and Soft Computing [electronic resource] : 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Korytkowski, Marcin [editor.] Pedrycz, Witold [editor.] Tadeusiewicz, Ryszard [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10842 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)
	635.	Web Engineering [electronic resource] : 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings / by Mikkonen, Tommi [editor.] Klamma, Ralf [editor.] Hernández, Juan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10845 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)
	636.	Diagrammatic Representation and Inference [electronic resource] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / by Chapman, Peter [editor.] Stapleton, Gem [editor.] Moktefi, Amirouche [editor.] Perez-Kriz, Sarah [editor.] Bellucci, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10871 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)
	637.	Data Science and Computational Intelligence [electronic resource] : Sixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22–24, 2021, Proceedings / by Venugopal, K. R [editor.] Shenoy, P. Deepa [editor.] Buyya, Rajkumar [editor.] Patnaik, L. M [editor.] Iyengar, Sitharama S [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1483 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)
	638.	Smart Cities [electronic resource] : 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers / by Nesmachnow, Sergio [editor.] Hernández Callejo, Luis [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1555 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)
	639.	Frontiers in Gaming Simulation [electronic resource] : 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers / by Meijer, Sebastiaan A [editor.] Smeds, Riitta [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8264 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	640.	Database Systems for Advanced Applications [electronic resource] : DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings / by Liu, Chengfei [editor.] Zou, Lei [editor.] Li, Jianxin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10829 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1614 results.