Your search returned 1702 results.

Sort
Results
1121.
Computing and Combinatorics [electronic resource] : 4th Annual International Conference, COCOON’98, Taipei, Taiwan, R.o.C., August 12–14, 1998 / by Series: Lecture Notes in Computer Science ; 1449
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.

1122.
Model Checking Software [electronic resource] : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2318
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.

1123.
Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / by Series: Lecture Notes in Computer Science ; 2767
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.

1124.
Compiler Construction [electronic resource] : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2304
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.

1125.
Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2517
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.

1126.
Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1662
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.

1127.
DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2340
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.

1128.
Security Protocols [electronic resource] : 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1796
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.

1129.
Topics in Cryptology -- CT-RSA 2003 [electronic resource] : The Cryptographers' Track at the RSA Conference 2003, San Francisco, CA, USA April 13-17, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2612
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.

1130.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers / by Series: Lecture Notes in Computer Science ; 1946
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.

1131.
Information Security and Cryptology - ICISC'99 [electronic resource] : Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1787
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.

1132.
Conceptual Modeling - ER 2001 [electronic resource] : 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2224
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.

1133.
Advances in Cryptology – EUROCRYPT 2002 [electronic resource] : International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2332
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.

1134.
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Series: Lecture Notes in Computer Science ; 2772
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.

1135.
Advances in Web-Age Information Management [electronic resource] : 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3129
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.

1136.
Applied Cryptography and Network Security [electronic resource] : First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2846
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.

1137.
Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1698
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.

1138.
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2197
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.

1139.
Euro-Par 2003 Parallel Processing [electronic resource] : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26–29, 2003 Proceedings / by Series: Lecture Notes in Computer Science ; 2790
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.

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