Your search returned 2826 results.

Sort
Results
2141.
2142.
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / by Series: Lecture Notes in Computer Science ; 2900
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.

2143.
Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers / by Series: Lecture Notes in Computer Science ; 2135
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.

2144.
Electronic Commerce and Web Technologies [electronic resource] : Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2115
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.

2145.
Cryptography and Coding [electronic resource] : 7th IMA International Conference, Cirencester, UK, December 20-22, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1746
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.

2146.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1217
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.

2147.
Reliable Software Technologies -- Ada-Europe 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2655
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.

2148.
CASL Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / by Series: Lecture Notes in Computer Science ; 2960
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.

2149.
Database Theory - ICDT'99 [electronic resource] : 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1540
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.

2150.
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 1915
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.

2151.
Distributed Applications and Interoperable Systems [electronic resource] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2893
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.

2152.
Computer Vision Systems [electronic resource] : First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1542
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.

2153.
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2278
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.

2154.
Mobile Data Access [electronic resource] : First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1748
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.

2155.
Database Theory - ICDT 2003 [electronic resource] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2572
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.

2156.
Computer Analysis of Images and Patterns [electronic resource] : 8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1689
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.

2157.
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition, Amsterdam, The Netherlands, April 21-23, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1401
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.

2158.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2865
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.

2159.
Intelligence and Security Informatics [electronic resource] : First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2665
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.

2160.
Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2614
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.

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