Results of search for 'ccl=su:{Computer science} and se:Lecture Notes in Artificial Intelligence and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	181.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / by Nieuwenhuis, Robert [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2250 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)
	182.	Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2922 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)
	183.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Vardi, Moshe [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2850 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)
	184.	Engineering of Intelligent Systems [electronic resource] : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings / by Monostori, Laszlo [editor.] Vancza, Jozsef [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2070 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)
	185.	Intelligent Agents and Multi-Agent Systems [electronic resource] : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings / by Lee, Jaeho [editor.] Barley, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2891 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)
	186.	Developments in Applied Artificial Intelligence [electronic resource] : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings / by Moonis, Ali [editor.] Chung, Paul [editor.] Hinde, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2718 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)
	187.	Innovative Concepts for Agent-Based Systems [electronic resource] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / by Truszkowski, Walt [editor.] Rouff, Chris [editor.] Hinchey, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2564 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)
	188.	Intelligent Agents and Multi-Agent Systems [electronic resource] : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings / by Kuwabara, Kazuhiro [editor.] Lee, Jaeho [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2413 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)
	189.	Abstraction, Reformulation, and Approximation [electronic resource] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / by Choueiry, Berthe Y [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1864 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)
	190.	Issues in Agent Communication [electronic resource] / by Dignum, Frank [editor.] Greaves, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1916 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)
	191.	Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / by Basin, David [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3097 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)
	192.	Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2699 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)
	193.	Intelligent Agents: Specification, Modeling, and Application [electronic resource] : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings / by Yuan, Soe-Tsyr [editor.] Yokoo, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2132 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)
	194.	Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / by Anderson, Michael [editor.] Cheng, Peter [editor.] Haarslev, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1889 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)
	195.	Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Gore, Rajeev [editor.] Leitsch, Alexander [editor.] Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2083 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)
	196.	Intelligent Agents VI. Agent Theories, Architectures, and Languages [electronic resource] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / by Jennings, Nicholas R [editor.] Lesperance, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1757 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)
	197.	Intelligent Agents VIII [electronic resource] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / by Meyer, John-Jules C [editor.] Tambe, Milind [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2333 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)
	198.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / by Cialdea Mayer, Marta [editor.] Pirri, Fiora [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2796 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)
	199.	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)
	200.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 209 results.