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

Results
	421.	Coordination Technology for Collaborative Applications [electronic resource] : Organizations, Processes, and Agents / by Conen, Wolfram [editor.] Neumann, Gustaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1364 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)
	422.	Electronic Information and Communication in Mathematics [electronic resource] : ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers / by Bai, Fengshan [editor.] Wegner, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2730 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)
	423.	Mobile Agents [electronic resource] : Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 / by Rothermel, Kurt [editor.] Hohl, Fritz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1477 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)
	424.	Transactional Agents [electronic resource] : Towards a Robust Multi-Agent System / by Nagi, Khaled [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2249 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)
	425.	Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / by Boulton, Richard J [editor.] Jackson, Paul B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2152 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)
	426.	Graphics Recognition. Algorithms and Applications [electronic resource] : 4th International Workshop, GREC 2001, Kingston, Ontario, Canada, September 7-8, 2001. Selected Papers / by Blostein, Dorothea [editor.] Kwon, Young-Bin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2390 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)
	427.	Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2240 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)
	428.	Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Arnborg, Stefan [editor.] Ivansson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1432 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)
	429.	High-Dimensional Indexing [electronic resource] : Transformational Approaches to High-Dimensional Range and Similarity Searches / by Yu, Cui [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2341 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)
	430.	Human-Computer Interaction with Mobile Devices and Services [electronic resource] : 5th International Symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003, Proceedings / by Chittaro, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2795 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)
	431.	Web-Age Information Management [electronic resource] : First International Conference, WAIM 2000 Shanghai, China, June 21-23, 2000 Proceedings / by Lu, Hongjun [editor.] Zhou, Aoying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1846 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)
	432.	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)
	433.	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)
	434.	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)
	435.	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)
	436.	Algorithms - ESA 2000 [electronic resource] : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / by Paterson, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1879 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)
	437.	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)
	438.	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)
	439.	Internet Applications [electronic resource] : 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999 Proceedings / by Hui, Lucas Chi-Kwong [editor.] Lee, Dik Lun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1749 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)
	440.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 475 results.