Results of search for 'ccl=su:"computer science" and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2821.	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)
	2822.	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)
	2823.	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)
	2824.	Worldwide Language Service Infrastructure [electronic resource] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / by Murakami, Yohei [editor.] Lin, Donghui [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9442 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2825.	Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings / by Cox, Philip T [editor.] Plimmer, Beryl [editor.] Rodgers, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7352 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)
	2826.	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)
	2827.	Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / by Goel, Ashok K [editor.] Jamnik, Mateja [editor.] Narayanan, N Hari [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6170 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)
	2828.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Butler, Michael [editor.] Raschke, Alexander [editor.] Hoang, Thai Son [editor.] Reichl, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10817 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)
	2829.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers / by Vetulani, Zygmunt [editor.] Mariani, Joseph [editor.] Kubis, Marek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10930 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)
	2830.	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)
	2831.	Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings / by Zhou, Jianying [editor.] Conti, Mauro [editor.] Ahmed, Chuadhry Mujeeb [editor.] Au, Man Ho [editor.] Batina, Lejla [editor.] Li, Zhou [editor.] Lin, Jingqiang [editor.] Losiouk, Eleonora [editor.] Luo, Bo [editor.] Majumdar, Suryadipta [editor.] Meng, Weizhi [editor.] Ochoa, Martín [editor.] Picek, Stjepan [editor.] Portokalidis, Georgios [editor.] Wang, Cong [editor.] Zhang, Kehuan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12418 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)
	2832.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings / by Torsello, Andrea [editor.] Rossi, Luca [editor.] Pelillo, Marcello [editor.] Biggio, Battista [editor.] Robles-Kelly, Antonio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12644 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)
	2833.	New Trends in Information and Communications Technology Applications [electronic resource] : 5th International Conference, NTICT 2021, Baghdad, Iraq, November 17–18, 2021, Proceedings / by Al-Bakry, Abbas M [editor.] Al-Mamory, Safaa O [editor.] Sahib, Mouayad A [editor.] George, Loay E [editor.] Aldhaibani, Jaafar A [editor.] Hasan, Haitham S [editor.] Oreku, George S [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1511 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)
	2834.	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)
	2835.	The Future of Heritage Science and Technologies: ICT and Digital Heritage [electronic resource] : Third International Conference, Florence Heri-Tech 2022, Florence, Italy, May 16–18, 2022, Proceedings / by Furferi, Rocco [editor.] Governi, Lapo [editor.] Volpe, Yary [editor.] Seymour, Kate [editor.] Pelagotti, Anna [editor.] Gherardini, Francesco [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1645 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)
	2836.	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)
	2837.	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)
	2838.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II / by Daelemans, Walter [editor.] Morik, Katharina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5212 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)
	2839.	Conceptual Modeling - ER 2004 [electronic resource] : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings / by Atzeni, Paolo [editor.] Chu, Wesley [editor.] Lu, Hongjun [editor.] Zhou, Shuigeng [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3288 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)
	2840.	Knowledge Discovery and Emergent Complexity in Bioinformatics [electronic resource] : First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006, Revised Selected Papers / by Tuyls, Karl [editor.] Westra, Ronald [editor.] Saeys, Yvan [editor.] Nowé, Ann [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4366 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)