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

Results
	1561.	Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Ganzinger, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1632 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1562.	Collaboration between Human and Artificial Societies [electronic resource] : Coordination and Agent-Based Distributed Computing / by Padget, Julian A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1624 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1563.	Objective Coordination in Multi-Agent System Engineering [electronic resource] : Design and Implementation / by Schumacher, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2039 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1564.	Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / by Matwin, Stan [editor.] Sammut, Claude [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2583 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1565.	Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Bachmair, Leo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1833 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1566.	Intelligent Agents VII. Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / by Castelfranchi, Cristiano [editor.] Lesperance, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1986 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1567.	Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Brinksma, Ed [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2404 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1568.	Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / by Horváth, Tamas [editor.] Yamamoto, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2835 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1569.	Trust Management [electronic resource] : First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings / by Nixon, Paddy [editor.] Terzis, Sotirios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2692 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1570.	Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings / by Hentenryck, Pascal Van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2470 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1571.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings / by Gelfond, Michael [editor.] Leone, Nicole [editor.] Pfeifer, Gerald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1730 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1572.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Kakas, Antonis C [editor.] Sadri, Fariba [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2408 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1573.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / by Egly, Uwe [editor.] Fernmüller, Christian G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2381 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1574.	Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Duesterwald, Evelyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2985 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)
	1575.	Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2027 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1576.	Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Report Selected Papers / by Meyer, John-Jules C [editor.] Schobbens, Pierre-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1760 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1577.	String Processing and Information Retrieval [electronic resource] : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings / by Nascimento, Mario A [editor.] Moura, Edleno S. de [editor.] Oliveira, Arlindo L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2857 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1578.	Programming Languages and Systems [electronic resource] : 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Degano, Pierpaolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2618 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1579.	Inductive Logic Programming [electronic resource] : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings / by Dzeroski, Saso [editor.] Flach, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1634 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1580.	Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1817 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 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 1614 results.