Your search returned 824 results.

Sort
Results
621.
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.

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

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

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

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

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

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

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

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

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

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

632.
633.
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.

634.
635.
Financial Cryptography [electronic resource] : Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1465
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.

636.
Information Security and Privacy [electronic resource] : 4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1587
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.

637.
Infrastructure Security [electronic resource] : International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2437
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.

638.
Software Quality - ECSQ 2002 [electronic resource] : Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2349
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.

639.
Application and Theory of Petri Nets 1997 [electronic resource] : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1248
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.

640.
SCI: Scalable Coherent Interface [electronic resource] : Architecture and Software for High-Performance Compute Clusters / by Series: Lecture Notes in Computer Science ; 1734
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.

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