Refine your search

Your search returned 8148 results.

Sort
Results
7961.
Computational Learning Theory [electronic resource] : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2375
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7962.
Discovery Science [electronic resource] : 5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2534
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7963.
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1865
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

7964.
Music, Gestalt, and Computing [electronic resource] : Studies in Cognitive and Systematic Musicology / by Series: Lecture Notes in Artificial Intelligence ; 1317
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

7965.
Computer Science Logic [electronic resource] : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2803
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

7966.
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Series: Lecture Notes in Artificial Intelligence ; 2408
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7967.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2381
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7968.
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 Series: Lecture Notes in Computer Science ; 2985
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

7969.
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 Series: Lecture Notes in Computer Science ; 2027
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

7970.
Automated Deduction - CADE-19 [electronic resource] : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2741
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

7971.
Learning Language in Logic [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1925
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

7972.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2880
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

7973.
Advances in Artificial Intelligence [electronic resource] : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2507
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7974.
Evolutionary Robotics. From Intelligent Robotics to Artificial Life [electronic resource] : International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2217
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

7975.
Advanced Multimedia Content Processing [electronic resource] : First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1554
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

7976.
Formal Models of Agents [electronic resource] : ESPRIT Project ModelAge Final Report Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1760
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

7977.
Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 3173
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

7978.
Topics in Artificial Intelligence [electronic resource] : 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2504
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

7979.
Internet Applications [electronic resource] : 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1749
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

7980.
String Processing and Information Retrieval [electronic resource] : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2857
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in