Your search returned 2826 results.

Sort
Results
1881.
Security Protocols [electronic resource] : International Workshop Cambridge, United Kingdom April 10-12, 1996 Proceedings / by Series: Lecture Notes in Computer Science ; 1189
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.

1882.
Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1427
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.

1883.
Interactive Markov Chains [electronic resource] : The Quest for Quantified Quality / by Series: Lecture Notes in Computer Science ; 2428
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.

1884.
Information Hiding [electronic resource] : 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 7-9, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2578
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.

1885.
FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / by Series: Lecture Notes in Computer Science ; 1709
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.

1886.
Applications and Theory of Petri Nets 2003 [electronic resource] : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2679
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.

1887.
Formal Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1954
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.

1888.
Adaptive Multimedia Retrieval [electronic resource] : First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers / by Series: Lecture Notes in Computer Science ; 3094
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.

1889.
TAPSOFT'97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1214
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.

1890.
Computer Science Logic [electronic resource] : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1258
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.

1891.
1892.
High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1940
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.

1893.
Advances in Cryptology – EUROCRYPT '98 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1403
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.

1894.
1895.
Mobile Agents for Telecommunication Applications [electronic resource] : 4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2521
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.

1896.
Data Mining on Multimedia Data [electronic resource] / by Series: Lecture Notes in Computer Science ; 2558
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.

1897.
Algorithms and Complexity [electronic resource] : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1203
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.

1898.
Experimental Algorithmics [electronic resource] : From Algorithm Design to Robust and Efficient Software / by Series: Lecture Notes in Computer Science ; 2547
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.

1899.
CONCUR'99. Concurrency Theory [electronic resource] : 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1664
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.

1900.
Network-Based Parallel Computing. Communication, Architecture, and Applications [electronic resource] : Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1362
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.

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