Results of search for 'ccl=su:{Programming }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3161.	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)
	3162.	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)
	3163.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part I / by Kakas, A.C [editor.] Sadri, F [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2407 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)
	3164.	Automated Deduction - CADE-15 [electronic resource] : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / by Kirchner, Claude [editor.] Kirchner, Helene [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1421 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3165.	Conceptual Structures: Fulfilling Peirce's Dream [electronic resource] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / by Lukose, Dickson [editor.] Delugach, Harry [editor.] Keeler, Mary [editor.] Searle, Leroy [editor.] Sowa, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1257 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3166.	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)
	3167.	Multi-Agent Rationality [electronic resource] : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997, Proceedings / by Boman, Magnus [editor.] Van de Velde, Walter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1237 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3168.	Multiagent System Technologies [electronic resource] : First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / by Schillo, Michael [editor.] Klusch, Matthias [editor.] Müller, Jörg [editor.] Tianfield, Huaglory [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2831 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)
	3169.	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)
	3170.	Web Knowledge Management and Decision Support [electronic resource] : 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers / by Bartenstein, Oskar [editor.] Geske, Ulrich [editor.] Hannebauer, Markus [editor.] Yoshie, Osamu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2543 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)
	3171.	Inductive Logic Programming [electronic resource] : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings / by Page, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1446 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3172.	Diagrammatic Representation and Inference [electronic resource] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / by Hegarty, Mary [editor.] Meyer, Bernd [editor.] Narayanan, N. Hari [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2317 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)
	3173.	Inductive Logic Programming [electronic resource] : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / by Cussens, James [editor.] Frisch, Alan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1866 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)
	3174.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / by Eiter, Thomas [editor.] Faber, Wolfgang [editor.] Trusczynksi, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2173 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)
	3175.	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)
	3176.	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)
	3177.	Grammatical Inference: Algorithms and Applications [electronic resource] : 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings / by Adriaans, Pieter [editor.] Fernau, Henning [editor.] Zaanen, Menno van [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2484 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)
	3178.	Inductive Logic Programming [electronic resource] : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / by Muggleton, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1314 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3179.	Programming Constraint Services [electronic resource] : High-Level Programming of Standard and New Constraint Services / by Schulte, Christian [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2302 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)
	3180.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3356 results.