Your search returned 2826 results.

Sort
Results
2401.
2402.
Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2725
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.

2403.
Selected Areas in Cryptography [electronic resource] : 5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1556
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.

2404.
Financial Cryptography [electronic resource] : Third International Conference, FC’99 Anguilla, British West Indies, February 22–25, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1648
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.

2405.
Lectures on Proof Verification and Approximation Algorithms [electronic resource] / by Series: Lecture Notes in Computer Science ; 1367
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.

2406.
Advances in Cryptology - ASIACRYPT 2002 [electronic resource] : 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2501
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.

2407.
Model Checking Software [electronic resource] : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2648
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.

2408.
Applied Formal Methods - FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1641
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.

2409.
Advances in Cryptology — ASIACRYPT’98 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18–22, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1514
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.

2410.
Cryptographic Hardware and Embedded Systems [electronic resource] : First International Workshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1717
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.

2411.
Software Process Technology [electronic resource] : 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2786
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.

2412.
Graph Drawing [electronic resource] : 6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1547
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.

2413.
Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2192
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.

2414.
2415.
Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2788
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.

2416.
2417.
Computing and Combinatorics [electronic resource] : 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2697
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.

2418.
3D Structure from Multiple Images of Large-Scale Environments [electronic resource] : European Workshop, SMILE'98, Freiburg, Germany, June 6-7, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1506
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.

2419.
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2683
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.

2420.
Transactional Agents [electronic resource] : Towards a Robust Multi-Agent System / by Series: Lecture Notes in Computer Science ; 2249
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