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

Results
	1081.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1082.	Web and Internet Economics [electronic resource] : 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / by Cai, Yang [editor.] Vetta, Adrian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10123 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1083.	Advances in Data Mining: Applications and Theoretical Aspects [electronic resource] : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11–24, 2015. Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9165 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)
	1084.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / by Di Chio, Cecilia [editor.] Cagnoni, Stefano [editor.] Cotta, Carlos [editor.] Ebner, Marc [editor.] Ekart, Aniko [editor.] Esparcia-Alcázar, Anna I [editor.] Goh, Chi-Keong [editor.] Merelo, Juan J [editor.] Neri, Ferrante [editor.] Preuss, Mike [editor.] Togelius, Julian [editor.] Yannakakis, Georgios N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6024 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)
	1085.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10860 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)
	1086.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10861 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)
	1087.	ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [electronic resource] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / by Bellatreche, Ladjel [editor.] Bieliková, Mária [editor.] Boussaïd, Omar [editor.] Catania, Barbara [editor.] Darmont, Jérôme [editor.] Demidova, Elena [editor.] Duchateau, Fabien [editor.] Hall, Mark [editor.] Merčun, Tanja [editor.] Novikov, Boris [editor.] Papatheodorou, Christos [editor.] Risse, Thomas [editor.] Romero, Oscar [editor.] Sautot, Lucile [editor.] Talens, Guilaine [editor.] Wrembel, Robert [editor.] Žumer, Maja [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1260 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)
	1088.	Computational Collective Intelligence [electronic resource] : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings / by Nguyen, Ngoc Thanh [editor.] Botzheim, János [editor.] Gulyás, László [editor.] Núñez, Manuel [editor.] Treur, Jan [editor.] Vossen, Gottfried [editor.] Kozierkiewicz, Adrianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14162 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)
	1089.	Search-Based Software Engineering [electronic resource] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings / by Arcaini, Paolo [editor.] Yue, Tao [editor.] Fredericks, Erik M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14415 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)
	1090.	Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I / by Wu, Weili [editor.] Guo, Jianxiong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14461 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)
	1091.	Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II / by Wu, Weili [editor.] Guo, Jianxiong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14462 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)
	1092.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings / by Hermanns, Holger [editor.] Sun, Jun [editor.] Bu, Lei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14464 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)
	1093.	Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by Beckmann, Arnold [editor.] Berger, Ulrich [editor.] Löwe, Benedikt [editor.] Tucker, John V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3988 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)
	1094.	From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings / by Asada, Minoru [editor.] Hallam, John C. T [editor.] Meyer, Jean-Arcady [editor.] Tani, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5040 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)
	1095.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1096.	Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / by Deka, Bhabesh [editor.] Maji, Pradipta [editor.] Mitra, Sushmita [editor.] Bhattacharyya, Dhruba Kumar [editor.] Bora, Prabin Kumar [editor.] Pal, Sankar Kumar [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11941 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)
	1097.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13703 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)
	1098.	From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings / by Nolfi, Stefano [editor.] Baldassare, Gianluca [editor.] Calabretta, Raffaele [editor.] Hallam, John [editor.] Marocco, Davide [editor.] Miglino, Orazio [editor.] Meyer, Jean-Arcady [editor.] Parisi, Domenico [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4095 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)
	1099.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II / by Hao, Yue [editor.] Liu, Jiming [editor.] Wang, Yuping [editor.] Cheung, Yiu-ming [editor.] Yin, Hujun [editor.] Jiao, Licheng [editor.] Ma, Jianfeng [editor.] Jiao, Yong-Chang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3802 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)
	1100.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11536 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)