Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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).
Place hold
2.
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts. by Series: Lecture notes in computer science ; 1426.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types. by Series: Lecture notes in computer science ; 189.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985 In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Containerization with LXC : get acquainted with the world of LXC / Konstantin Ivanov. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Birmingham, UK : Packt Publishing, 2017
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha