Results of search for 'ccl=su:"computer science" and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3101.	Evolution of Parallel Cellular Machines [electronic resource] : The Cellular Programming Approach / by Sipper, Moshe [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1194 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)
	3102.	Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / by de Swart, Harrie C.M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2561 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)
	3103.	Genetic Programming [electronic resource] : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings / by Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Langdon, William B [editor.] Miller, Julian F [editor.] Nordin, Peter [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1802 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)
	3104.	Advances in Computing Science - ASIAN'98 [electronic resource] : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings / by Hsiang, Jieh [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1538 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)
	3105.	Computational Methods in Neural Modeling [electronic resource] : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part I / by Mira, José [editor.] Álvarez, José R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2686 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)
	3106.	Database Theory - ICDT '97 [electronic resource] : 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings / by Afrati, Foto N [editor.] Kolaitis, Phokion G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1186 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)
	3107.	Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Pontelli, Enrico [editor.] Vitor, Santos C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1753 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)
	3108.	AI 2003: Advances in Artificial Intelligence [electronic resource] : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings / by Gedeon, Tamas D [editor.] Fung, Lance C.C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2903 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)
	3109.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Shafazand, M. Hassan [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2510 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)
	3110.	SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Pacholski, Leszek [editor.] Ruzicka, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2234 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)
	3111.	Computational Learning Theory [electronic resource] : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings / by Ben-David, Shai [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1208 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)
	3112.	Cooperative Information Agents IV - The Future of Information Agents in Cyberspace [electronic resource] : 4th International Workshop, CIA 2000 Boston, MA, USA, July 7-9, 2000 Proceedings / by Klusch, Matthias [editor.] Kerschberg, Larry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1860 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)
	3113.	Constraint-Based Agents [electronic resource] : An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds / by Nareyek, Alexander [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2062 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)
	3114.	Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Bertot, Yves [editor.] Dowek, Gilles [editor.] Hirschowitz, Andre [editor.] Paulin, Christine [editor.] Thery, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1690 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)
	3115.	Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Aagaard, Mark [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1869 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)
	3116.	Algorithms and Data Structures [electronic resource] : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings / by Dehne, Frank [editor.] Rau-Chaplin, Andrew [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1272 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)
	3117.	Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / by Dam, Mads [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1192 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)
	3118.	Discovery Science [electronic resource] : Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings / by Arikawa, Setsuo [editor.] Morishita, Shinichi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1967 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)
	3119.	Advances in Information Systems [electronic resource] : Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings / by Yakhno, Tatyana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2457 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)
	3120.	Algorithms and Data Structures [electronic resource] : 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2125 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3496 results.