Refine your search

Your search returned 17575 results.

Sort
Results
15861.
Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1633
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.

15862.
15863.
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1919
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.

15864.
Information and Communications Security [electronic resource] : Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2229
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.

15865.
Learning Robots [electronic resource] : 6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1545
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

15866.
Ambient Intelligence [electronic resource] : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3295
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.

15867.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2789
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.

15868.
15869.
15870.
15871.
Algorithms in Bioinformatics [electronic resource] : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2149
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.

15872.
Network-Based Parallel Computing - Communication, Architecture, and Applications [electronic resource] : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1797
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.

15873.
15874.
Database and Expert Systems Applications [electronic resource] : 9th International Conference, DEXA'98, Vienna, Austria, August 24-28, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1460
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

15875.
Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 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 ; 2029
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.

15876.
Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 1492
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

15877.
Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [electronic resource] : Reconfigurable Computing Is Going Mainstream / by Series: Lecture Notes in Computer Science ; 2438
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.

15878.
Computing and Combinatorics [electronic resource] : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1627
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.

15879.
Combinatorial Pattern Matching [electronic resource] : 8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1264
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.

15880.
Computational Linguistics and Intelligent Text Processing [electronic resource] : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2276
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.

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