Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.). by Series: Lecture notes in computer science ; 1019.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
4.
5.
DCE--the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings / Alexander Schill (ed.). by Series: Lecture notes in computer science ; 731.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Adaption and learning in multi-agent systems : IJCAI '95 workshop, Montréal, Canada, August 21, 1995, proceedings / Gerhard Weiss, Sandip Sen (eds.). by Series: Lecture notes in computer science ; 1042. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha