Refine your search

Your search returned 4955 results.

Sort
Results
4721.
Trends in Network and Pervasive Computing - ARCS 2002 [electronic resource] : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2299
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.

4722.
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.

4723.
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.

4724.
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.

4725.
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.

4726.
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.

4727.
Advanced Information Systems Engineering [electronic resource] : 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2681
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.

4728.
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.

4729.
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.

4730.
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.

4731.
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.

4732.
Progress in Cryptology - INDOCRYPT 2000 [electronic resource] : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1977
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.

4733.
Advances in Learning Software Organizations [electronic resource] : 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3096
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.

4734.
Advances in Cryptology - ASIACRYPT 2004 [electronic resource] : 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3329
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.

4735.
Computer Security - ESORICS 2003 [electronic resource] : 8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2808
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.

4736.
Information Security and Privacy [electronic resource] : 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2727
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.

4737.
Modular Compiler Verification [electronic resource] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Series: Lecture Notes in Computer Science ; 1283
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.

4738.
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2311
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.

4739.
4740.
Computer Performance Evaluation Modelling Techniques and Tools [electronic resource] : 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1245
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.

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