Your search returned 2826 results.

Sort
Results
1681.
Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2315
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.

1682.
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2758
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.

1683.
1684.
Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1938
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.

1685.
Peer-to-Peer Systems II [electronic resource] : Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2735
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.

1686.
Fast Software Encryption [electronic resource] : 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1267
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.

1687.
Innovative Internet Community Systems [electronic resource] : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2877
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.

1688.
1689.
Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1694
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.

1690.
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1885
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.

1691.
Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / by Series: Lecture Notes in Computer Science ; 2950
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.

1692.
Advances in Cryptology — ASIACRYPT 2001 [electronic resource] : 7th International Conference on the Theory and Application of Cryptology and Information Security Gold Coast, Australia, December 9–13, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2248
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.

1693.
Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1779
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.

1694.
1695.
Information Security and Cryptology - ICISC 2000 [electronic resource] : Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 2015
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.

1696.
Security Protocols [electronic resource] : 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1550
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.

1697.
Database Theory - ICDT 2001 [electronic resource] : 8th International Conference London, UK, January 4-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 1973
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.

1698.
Pattern Recognition [electronic resource] : 23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2191
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.

1699.
Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / by Series: Lecture Notes in Computer Science ; 2585
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.

1700.
Advances in Databases and Information Systems [electronic resource] : Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1691
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.

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