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

Results
	481.	Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / by van Beek, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3709 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)
	482.	SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / by Freivalds, Rūsiņš Mārtiņš [editor.] Engels, Gregor [editor.] Catania, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9587 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)
	483.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings / by Fermüller, Christian G [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6397 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)
	484.	A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Hartanto, Ronny [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6798 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)
	485.	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)
	486.	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)
	487.	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)
	488.	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)
	489.	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)
	490.	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)
	491.	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)
	492.	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)
	493.	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)
	494.	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)
	495.	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)
	496.	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)
	497.	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)
	498.	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)
	499.	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)
	500.	Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by Hurd, Joe [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3603 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 831 results.