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

Results
	41.	Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by Blockeel, Hendrik [editor.] Ramon, Jan [editor.] Shavlik, Jude [editor.] Tadepalli, Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4894 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)
	42.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4431 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / by Dobnikar, Andrej [editor.] Lotric, Uroš [editor.] Šter, Branko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6593 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)
	44.	Runtime Verification [electronic resource] : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by Deshmukh, Jyotirmoy [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12399 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)
	45.	Human Centered Computing [electronic resource] : Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / by Zu, Qiaohong [editor.] Hu, Bo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10745 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)
	46.	Theory and Practice of Natural Computing [electronic resource] : 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings / by Martín-Vide, Carlos [editor.] Pond, Geoffrey [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11934 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Trustworthy AI - Integrating Learning, Optimization and Reasoning [electronic resource] : First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers / by Heintz, Fredrik [editor.] Milano, Michela [editor.] O'Sullivan, Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12641 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)
	48.	Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / by Gao, Xiaofeng [editor.] Du, Hongwei [editor.] Han, Meng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10627 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)
	49.	On the Move to Meaningful Internet Systems: OTM 2015 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / by Ciuciu, Ioana [editor.] Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Aubry, Alexis [editor.] Bollen, Peter [editor.] Valencia-Garcia, Rafael [editor.] Mishra, Alok [editor.] Fensel, Anna [editor.] Ferri, Fernando [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9416 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)
	50.	SOFSEM 2019: Theory and Practice of Computer Science [electronic resource] : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / by Catania, Barbara [editor.] Královič, Rastislav [editor.] Nawrocki, Jerzy [editor.] Pighizzini, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11376 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Pattern Recognition [electronic resource] : 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / by Carrasco-Ochoa, Jesús Ariel [editor.] Martínez-Trinidad, José Francisco [editor.] Olvera-López, José Arturo [editor.] Salas, Joaquín [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11524 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13371 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)
	53.	Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Durand-Lose, Jérôme [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13419 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.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I / by Yeo, Sang-Soo [editor.] Park, Jong Hyuk [editor.] Yang, Laurence Tianruo [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6081 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)
	55.	Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / by Babaoglu, Ozalp [editor.] Jelasity, Márk [editor.] Montresor, Alberto [editor.] Fetzer, Christof [editor.] Leonardi, Stefano [editor.] van Moorsel, Aad [editor.] van Steen, Maarten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3460 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)
	56.	Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / by Wang, Guojin [editor.] Zomaya, Albert [editor.] Martinez, Gregorio [editor.] Li, Kenli [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9532 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)
	57.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by Donatelli, Susanna [editor.] Haar, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11522 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Britto, André [editor.] Valdivia Delgado, Karina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13073 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)
	59.	Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / by Bosse, Tibor [editor.] Geller, Armando [editor.] Jonker, Catholijn M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6532 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)
	60.	Advances in Visual Computing [electronic resource] : Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I / by Boyle, Richard [editor.] Parvin, Bahram [editor.] Koracin, Darko [editor.] Nefian, Ara [editor.] Meenakshisundaram, Gopi [editor.] Pascucci, Valerio [editor.] Zara, Jiri [editor.] Molineros, Jose [editor.] Theisel, Holger [editor.] Malzbender, Tom [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4291 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 227 results.