Refine your search

Your search returned 8328 results.

Sort
Results
7741.
Coordination Languages and Models [electronic resource] : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1282
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.

7742.
LATIN 2002: Theoretical Informatics [electronic resource] : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2286
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.

7743.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2131
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.

7744.
Advances in Databases [electronic resource] : 18th British National Conference on Databases, BNCOD 18 Chilton, UK, July 9-11, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2097
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.

7745.
7746.
Selected Areas in Cryptography [electronic resource] : 8th Annual International Workshop, SAC 2001 Toronto, Ontario, Canada, August 16-17, 2001. Revised Papers / by Series: Lecture Notes in Computer Science ; 2259
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.

7747.
Computer Safety, Reliability and Security [electronic resource] : 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1516
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.

7748.
Cryptographic Hardware and Embedded Systems - CHES 2000 [electronic resource] : Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1965
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.

7749.
Next Generation Information Technologies and Systems [electronic resource] : 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2382
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.

7750.
Document Analysis Systems: Theory and Practice [electronic resource] : Third IAPR Workshop, DAS'98, Nagano, Japan, November 4-6, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1655
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.

7751.
7752.
Web Technologies and Applications [electronic resource] : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2642
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.

7753.
Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1957
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.

7754.
Topics in Cryptology - CT-RSA 2001 [electronic resource] : The Cryptographer's Track at RSA Conference 2001 San Francisco, CA, USA, April 8-12, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2020
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.

7755.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2878
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.

7756.
Static Analysis [electronic resource] : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1302
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.

7757.
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / by Series: Lecture Notes in Computer Science ; 2222
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.

7758.
Algorithms and Computation [electronic resource] : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2223
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.

7759.
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Series: Lecture Notes in Computer Science ; 2283
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.

7760.
Fundamentals of Computation Theory [electronic resource] : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2751
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