Your search returned 251 results.

Sort
Results
241.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1657
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.

242.
Foundations of Information and Knowledge Systems [electronic resource] : First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1762
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.

243.
Artificial Evolution [electronic resource] : Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers / by Series: Lecture Notes in Computer Science ; 1363
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.

244.
245.
Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2420
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.

246.
Evolvable Systems: From Biology to Hardware [electronic resource] : 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2210
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.

247.
248.
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Series: Lecture Notes in Computer Science ; 2471
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.

249.
250.
251.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 25th International Workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1665
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