Your search returned 12 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers. by Series: Lecture notes in computer science ; 675.
Material type: Text Text; Format: available online remote; Nature of contents: biography; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
3.
Algorithms and data structures : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 : proceedings / Frank Dehne [and others], eds. by Series: Lecture notes in computer science ; 1272.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • WADS '97
Online resources:
Availability: Items available for loan: e-Library (1).
4.
Algorithms and data structures : 6th International Workshop, WADS'99, Vancouver, Canada, August 11-14, 1999 : proceedings / Frank Dehne [and others] (eds.). by Series: Lecture notes in computer science ; 1663.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1999
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
5.
Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings / F. Dehne, J.-R. Sack, N. Santoro, eds. by Series: Lecture notes in computer science ; 519.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
6.
7.
Algorithms and data structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings / Selim G. Akl [and others] (eds.). by Series: Lecture notes in computer science ; 955.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1995 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
8.
Algorithms and Data Structures : Workshop WADS '89 Ottawa, Canada, August 17-19, 1989 Proceedings / edited by F. Dehne, J.-R. Sack, N. Santoro. by Series: Lecture notes in computer science ; 382.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1989
Online resources:
Availability: Items available for loan: e-Library (1).
9.
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi. by Series: Lecture notes in computer science ; 159.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1983
Other title:
  • CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, March 9-11, 1983 proceedings
Online resources:
Availability: Items available for loan: e-Library (1).
10.
Purely functional data structures [electronic resource] / Chris Okasaki. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
11.
12.
Advances in object-oriented data modeling / edited by Michael P. Papazoglou, Stefano Spaccapietra, Zahir Tari. by Series: Cooperative information systems
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©2000
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha