Results of search for 'ccl=su:{Software} and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1881.	Experimental Algorithms [electronic resource] : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings / by Festa, Paola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6049 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)
	1882.	Algorithmic Decision Theory [electronic resource] : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings / by Rothe, Jörg [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10576 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)
	1883.	AI*IA 2017 Advances in Artificial Intelligence [electronic resource] : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / by Esposito, Floriana [editor.] Basili, Roberto [editor.] Ferilli, Stefano [editor.] Lisi, Francesca A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10640 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)
	1884.	Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by Moss, Lawrence S [editor.] de Queiroz, Ruy [editor.] Martinez, Maricarmen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10944 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1885.	Organized Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers / by Vouros, George [editor.] Artikis, Alexander [editor.] Stathis, Kostas [editor.] Pitt, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5368 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1886.	Artificial Intelligence and Soft Computing, Part I [electronic resource] : 10th International Conference, ICAISC 2010, Zakopane, Poland, June13-17, 2010, Part I / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6113 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)
	1887.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4334 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)
	1888.	Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Parsons, Jeffrey [editor.] Saeki, Motoshi [editor.] Shoval, Peretz [editor.] Woo, Carson [editor.] Wand, Yair [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412 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)
	1889.	Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / by Liu, Honghai [editor.] Ding, Han [editor.] Xiong, Zhenhua [editor.] Zhu, Xiangyang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6425 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)
	1890.	Intelligent Computing Theories [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013, Proceedings / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Figueroa, Juan Carlos [editor.] Premaratne, Prashan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7995 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)
	1891.	Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / by Winter, Robert [editor.] Zhao, J. Leon [editor.] Aier, Stephan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6105 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)
	1892.	Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / by Wagner, Roland [editor.] Revell, Norman [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4653 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)
	1893.	Engineering Multi-Agent Systems [electronic resource] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / by Baldoni, Matteo [editor.] Müller, Jörg P [editor.] Nunes, Ingrid [editor.] Zalila-Wenkstern, Rym [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10093 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)
	1894.	Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings / by Kuznetsov, Sergei O [editor.] Schmidt, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4390 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)
	1895.	Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by Olivetti, Nicola [editor.] Tiwari, Ashish [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9706 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)
	1896.	Computer Vision -- ACCV 2014 [electronic resource] : 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV / by Cremers, Daniel [editor.] Reid, Ian [editor.] Saito, Hideo [editor.] Yang, Ming-Hsuan [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9006 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)
	1897.	Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / by Siarry, Patrick [editor.] Idoumghar, Lhassane [editor.] Lepagnot, Julien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8472 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)
	1898.	Electronic Government and the Information Systems Perspective [electronic resource] : First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 - September2, 2010, Proceedings / by Andersen, Kim Normann [editor.] Francesconi, Enrico [editor.] Grönlund, Ake [editor.] van Engers, Tom M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6267 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)
	1899.	Advances in Services Computing [electronic resource] : 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / by Wang, Guojun [editor.] Han, Yanbo [editor.] Martínez Pérez, Gregorio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10065 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)
	1900.	Knowledge Management for Health Care Procedures [electronic resource] : From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers / by Riano, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4924 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4164 results.