Your search returned 2826 results.

Sort
Results
1541.
Advances in Cryptology - ASIACRYPT'99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1716
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.

1542.
1543.
1544.
Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2624
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.

1545.
Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1289
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.

1546.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Series: Lecture Notes in Computer Science ; 2277
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.

1547.
Advanced Lectures on Networking [electronic resource] : NETWORKING 2002 / by Series: Lecture Notes in Computer Science ; 2497
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.

1548.
Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / by Series: Lecture Notes in Computer Science ; 2638
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.

1549.
Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2034
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.

1550.
Advances in Databases [electronic resource] : 15th British National Conference on Databases, BNCOD 15 London, United Kingdom, July 7 - 9, 1997 / by Series: Lecture Notes in Computer Science ; 1271
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.

1551.
Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / by Series: Lecture Notes in Computer Science ; 1808
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.

1552.
1553.
Advances in Computing Science - ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1961
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.

1554.
Advanced Information Systems Engineering [electronic resource] : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2348
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.

1555.
Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1522
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.

1556.
1557.
Information Security and Privacy [electronic resource] : Third Australasian Conference, ACISP'98, Brisbane, Australia July 13-15, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1438
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.

1558.
Computer Vision - ECCV'98 [electronic resource] : 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume II / by Series: Lecture Notes in Computer Science ; 1407
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.

1559.
1560.
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools [electronic resource] : 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2460
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.

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