Results of search for 'ccl=Provider:Springer, and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	7441.	Engineering Societies in the Agents World II [electronic resource] : Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001, Revised Papers / by Omicini, Andrea [editor.] Petta, Paolo [editor.] Tolksdorf, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2203 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)
	7442.	Progress in Pattern Recognition, Speech and Image Analysis [electronic resource] : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003, Proceedings / by Sanfeliu, Alberto [editor.] Ruiz-Shulcloper, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2905 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)
	7443.	Agent Mediated Electronic Commerce II [electronic resource] : Towards Next-Generation Agent-Based Electronic Commerce Systems / by Moukas, Alexandros [editor.] Sierra, Carles [editor.] Ygge, Fredrik [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1788 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)
	7444.	Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Schmid, Ute [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2654 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)
	7445.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / by Bussler, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3192 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)
	7446.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001. Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2123 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)
	7447.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	7448.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR 2002 and SPR 2002, Windsor, Ontario, Canada, August 6-9, 2002. Proceedings / by Caelli, Terry [editor.] Amin, Adnan [editor.] Duin, Robert P.W [editor.] Kamel, Mohamed [editor.] Ridder, Dick de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2396 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)
	7449.	Peer-to-Peer Systems II [electronic resource] : Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers / by Kaashoek, Frans [editor.] Stoica, Ion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2735 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)
	7450.	Advances in Case-Based Reasoning [electronic resource] : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings / by Craw, Susan [editor.] Preece, Alun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2416 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)
	7451.	Pattern Recognition [electronic resource] : 23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings / by Radig, Bernd [editor.] Florczyk, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2191 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)
	7452.	Balancing Reactivity and Social Deliberation in Multi-Agent Systems [electronic resource] : From RoboCup to Real-World Applications / by Hannebauer, Markus [editor.] Wendler, Jan [editor.] Pagello, Enrico [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2103 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)
	7453.	Trust in Cyber-societies [electronic resource] : Integrating the Human and Artificial Perspectives / by Falcone, Rino [editor.] Singh, Munindar [editor.] Tan, Yao-Hua [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2246 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)
	7454.	Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II / by Yin, Fuliang [editor.] Wang, Jun [editor.] Guo, Chengan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3174 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)
	7455.	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)
	7456.	Mathematical Knowledge Management [electronic resource] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / by Asperti, Andrea [editor.] Buchberger, Bruno [editor.] Davenport, James Harold [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2594 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)
	7457.	Flexible Query Answering Systems [electronic resource] : 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings / by Andreasen, Troels [editor.] Motro, Amihai [editor.] Christiansen, Henning [editor.] Larsen, Henrik Legind [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2522 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)
	7458.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 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)
	7459.	Computer Aided Systems Theory - EUROCAST'99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] Kopacek, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1798 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)
	7460.	Database and Expert Systems Applications [electronic resource] : 11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings / by Ibrahim, Mohamed [editor.] Küng, Josef [editor.] Revell, Norman [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1873 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 8148 results.