Results of search for 'ccl=su:{ Computer science } and su-to:Computer Science and Engineering and itype:SPRINGER and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	901.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / by Balduccini, Marcello [editor.] Janhunen, Tomi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10377 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)
	902.	Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part II / by Hirose, Akira [editor.] Ozawa, Seiichi [editor.] Doya, Kenji [editor.] Ikeda, Kazushi [editor.] Lee, Minho [editor.] Liu, Derong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9948 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)
	903.	Logics in Artificial Intelligence [electronic resource] : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings / by Janhunen, Tomi [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6341 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)
	904.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Meyer, Bertrand [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4171 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)
	905.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4432 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)
	906.	The Semantic Web [electronic resource] : 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I / by Blomqvist, Eva [editor.] Maynard, Diana [editor.] Gangemi, Aldo [editor.] Hoekstra, Rinke [editor.] Hitzler, Pascal [editor.] Hartig, Olaf [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10249 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)
	907.	Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by Creignou, Nadia [editor.] Le Berre, Daniel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9710 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)
	908.	Agent Computing and Multi-Agent Systems [electronic resource] : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings / by Sadananada, Ramakoti [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4088 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)
	909.	Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 Proceedings / by Dix, Jürgen [editor.] Witteveen, Cees [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6251 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)
	910.	Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings / by Medina, Raoul [editor.] Obiedkov, Sergei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4933 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)
	911.	Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / by Szczuka, Marcin S [editor.] Howard, Daniel [editor.] Slezak, Dominik [editor.] Kim, Haeng-kon [editor.] Kim, Tai-hoon [editor.] Ko, Il-seok [editor.] Lee, Geuk [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4413 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)
	912.	Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by Botana, Francisco [editor.] Quaresma, Pedro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9201 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)
	913.	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / by Gramlich, Bernhard [editor.] Miller, Dale [editor.] Sattler, Ulrike [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7364 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)
	914.	Experimental Algorithms [electronic resource] : 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings / by Àlvarez, Carme [editor.] Serna, Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4007 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)
	915.	Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / by de Moura, Leonardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10395 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)
	916.	Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by Oddi, Angelo [editor.] Fages, François [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5655 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)
	917.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / by van der Aalst, Wil [editor.] Best, Eike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10258 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)
	918.	Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / by Ferrandez Vicente, Jose Manuel [editor.] Alvarez Sanchez, Jose Ramon [editor.] de la Paz Lopez, Felix [editor.] Toledo Moreo, Fco. Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7931 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)
	919.	Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II / by Deng, Hepu [editor.] Miao, Duoqian [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7003 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)
	920.	Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / by Blache, Philippe [editor.] Stabler, Edward [editor.] Busquets, Joan [editor.] Moot, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3492 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1525 results.