Your search returned 198 results.

Sort
Results
181.
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2234
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.

182.
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1690
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.

183.
Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1766
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.

184.
185.
Computational Science — ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2073
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.

186.
Algorithm Engineering and Experiments [electronic resource] : 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2409
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.

187.
Algorithms -- ESA 2004 [electronic resource] : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3221
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.

188.
Graph Transformation [electronic resource] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2505
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.

189.
190.
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.

191.
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.

192.
Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1432
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.

193.
Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1889
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.

194.
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1833
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.

195.
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Series: Lecture Notes in Artificial Intelligence ; 2408
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.

196.
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2719
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.

197.
Approximation and Online Algorithms [electronic resource] : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2909
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.

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