Your search returned 16792 results.

Sort
Results
16061.
Information Processing in Medical Imaging [electronic resource] : 16th International Conference, IPMI'99, Visegrad, Hungary, June 28 - July 2, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1613
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.

16062.
Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1862
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.

16063.
Information Processing in Medical Imaging [electronic resource] : 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2082
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.

16064.
Java on Smart Cards: Programming and Security [electronic resource] : First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 2041
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.

16065.
Artificial Immune Systems [electronic resource] : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2787
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.

16066.
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 / by Series: Lecture Notes in Computer Science ; 2451
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.

16067.
Mobile Agents [electronic resource] : Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 / by Series: Lecture Notes in Computer Science ; 1477
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.

16068.
16069.
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.

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

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

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

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

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

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

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

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

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

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

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

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