Refine your search

Your search returned 8328 results.

Sort
Results
7841.
Distributed Computing [electronic resource] : 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1499
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.

7842.
ECOOP 2000 - Object-Oriented Programming [electronic resource] : 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1850
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.

7843.
Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2710
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.

7844.
Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1978
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.

7845.
Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1275
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.

7846.
Advanced Information Systems Engineering [electronic resource] : 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1626
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.

7847.
Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2491
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.

7848.
Digital Libraries in Computer Science: The MeDoc Approach [electronic resource] / by Series: Lecture Notes in Computer Science ; 1392
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.

7849.
Robot Vision [electronic resource] : International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 1998
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.

7850.
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1926
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.

7851.
Advanced Information Systems Engineering [electronic resource] : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1413
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.

7852.
Database and Expert Systems Applications [electronic resource] : 8th International Conference, DEXA'97, Toulouse, France, September 1-5, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1308
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.

7853.
Medical Data Analysis [electronic resource] : Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2526
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.

7854.
Cellular Automata [electronic resource] : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2493
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.

7855.
Membrane Computing [electronic resource] : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2597
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.

7856.
High-Performance Computing and Networking [electronic resource] : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2110
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.

7857.
Cross-Language Information Retrieval and Evaluation [electronic resource] : Workshop of Cross-Language Evaluation Forum, CLEF 2000, Lisbon, Portugal, September 21-22, 2000, Revised Papers / by Series: Lecture Notes in Computer Science ; 2069
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.

7858.
7859.
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / by Series: Lecture Notes in Computer Science ; 1287
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.

7860.
Evolvable Systems: From Biology to Hardware [electronic resource] : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1801
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.

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