Your search returned 516 results.

Sort
Results
381.
LATIN 2002: Theoretical Informatics [electronic resource] : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2286
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.

382.
Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1957
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.

383.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2878
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.

384.
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / by Series: Lecture Notes in Computer Science ; 2222
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.

385.
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Series: Lecture Notes in Computer Science ; 2283
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.

386.
Algorithms and Computation [electronic resource] : 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2518
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.

387.
Algorithm Theory - SWAT 2004 [electronic resource] : 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3111
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.

388.
Algorithm Theory - SWAT 2000 [electronic resource] : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1851
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.

389.
390.
Practice and Theory of Automated Timetabling IV [electronic resource] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers / by Series: Lecture Notes in Computer Science ; 2740
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.

391.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1346
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.

392.
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1855
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.

393.
394.
Fundamentals of Computation Theory [electronic resource] : 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1279
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.

395.
Advances in Database Technology - EDBT '98 [electronic resource] : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998. / by Series: Lecture Notes in Computer Science ; 1377
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.

396.
Data Warehousing and Knowledge Discovery [electronic resource] : First International Conference, DaWaK'99 Florence, Italy, August 30 - September 1, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1676
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.

397.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1497
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.

398.
Evolutionary Multi-Criterion Optimization [electronic resource] : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2632
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.

399.
Advances in Web-Based Learning [electronic resource] : First International Conference, ICWL 2002, Hong Kong, China, August 17-19, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2436
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.

400.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2573
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