Refine your search

Your search returned 9091 results.

Sort
Results
8461.
Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2202
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.

8462.
Automatic Verification of Sequential Infinite-State Processes [electronic resource] / by Series: Lecture Notes in Computer Science ; 1354
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.

8463.
Experimental and Efficient Algorithms [electronic resource] : Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2647
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.

8464.
Quantum Computing and Quantum Communications [electronic resource] : First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1509
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.

8465.
Multiple Classifier Systems [electronic resource] : First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1857
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.

8466.
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1256
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.

8467.
Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3116
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.

8468.
Advances in Information Retrieval [electronic resource] : 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2997
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.

8469.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1530
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.

8470.
Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2833
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.

8471.
Computer and Information Sciences -- ISCIS 2003 [electronic resource] : 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2869
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.

8472.
Algorithms and Data Structures [electronic resource] : 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1663
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.

8473.
Advances in Intelligent Data Analysis [electronic resource] : 4th International Conference, IDA 2001, Cascais, Portugal, September 13-15, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2189
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.

8474.
Vector and Parallel Processing - VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1215
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.

8475.
Computer Safety, Reliability, and Security [electronic resource] : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1943
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.

8476.
Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2890
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.

8477.
Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1825
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.

8478.
Advances in Cryptology – EUROCRYPT '99 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1592
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.

8479.
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1853
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.

8480.
Financial Cryptography [electronic resource] : 4th International Conference, FC 2000 Anguilla, British West Indies, February 20-24, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1962
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.

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