Your search returned 882 results.

Sort
Results
41.
Computer Science Logic [electronic resource] : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / by Series: Lecture Notes in Computer Science ; 626
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Availability: No items available.

42.
Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1324
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.

43.
Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1633
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.

44.
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3099
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.

45.
Mathematical Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2747
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.

46.
47.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings [electronic resource] : Volume 2: Tutorials / by Series: Lecture Notes in Computer Science ; 552
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook
Availability: No items available.

48.
Randomness and Completeness in Computational Complexity [electronic resource] / by Series: Lecture Notes in Computer Science ; 1950
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.

49.
Treewidth [electronic resource] : Computations and Approximations / by Series: Lecture Notes in Computer Science ; 842
Edition: 1st ed. 1994.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook
Availability: No items available.

50.
Coordination Languages and Models [electronic resource] : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1594
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.

51.
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / by Series: Lecture Notes in Computer Science ; 691
Edition: 1st ed. 1993.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook
Availability: No items available.

52.
Algorithms and Computations [electronic resource] : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings. / by Series: Lecture Notes in Computer Science ; 1004
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

53.
Algorithms in Bioinformatics [electronic resource] : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2452
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.

54.
Evolutionary Programming VI [electronic resource] : 6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1213
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.

55.
Trees in Algebra and Programming - CAAP '96 [electronic resource] : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings / by Series: Lecture Notes in Computer Science ; 1059
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

56.
Artificial Immune Systems [electronic resource] : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3239
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.

57.
58.
Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / by Series: Lecture Notes in Computer Science ; 1494
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.

59.
60.
Graph Grammars and Their Application to Computer Science [electronic resource] : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings / by Series: Lecture Notes in Computer Science ; 532
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook
Availability: No items available.

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

Powered by Koha