Refine your search

Your search returned 8328 results.

Sort
Results
7821.
Functional and Logic Programming [electronic resource] : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2024
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.

7822.
Ant Algorithms [electronic resource] : Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2463
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.

7823.
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1644
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.

7824.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2144
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.

7825.
Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1824
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.

7826.
CONCUR 2000 - Concurrency Theory [electronic resource] : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1877
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.

7827.
Smart Grapics [electronic resource] : Third International Symposium, SG 2003, Heidelberg, Germany, July2-4, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2733
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.

7828.
Distributed Computing [electronic resource] : Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2571
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.

7829.
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2469
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.

7830.
Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / by Series: Lecture Notes in Computer Science ; 2584
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.

7831.
Distributed Algorithms [electronic resource] : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1320
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.

7832.
Advances in Databases and Information Systems [electronic resource] : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2798
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.

7833.
Fast Software Encryption [electronic resource] : 5th International Workshop, FSE ’98, Paris, France, March 23–25, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1372
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.

7834.
Stochastic Algorithms: Foundations and Applications [electronic resource] : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2827
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.

7835.
Security Protocols [electronic resource] : 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1361
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.

7836.
Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2215
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.

7837.
Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers / by Series: Lecture Notes in Computer Science ; 1222
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.

7838.
Information Security and Cryptology - ICISC 2001 [electronic resource] : 4th International Conference Seoul, Korea, December 6-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2288
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.

7839.
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2257
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.

7840.
Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2667
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