Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
CONCUR '94, concurrency theory : 5th international conference, Uppsala, Sweden, August 22-25, 1994 : proceedings / Bengt Jonsson, Joachim Parrow, eds. by Series: Lecture notes in computer science ; 836.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings / edited by Bengt Jonsson, Joachim Parrow. by Series: Lecture notes in computer science ; 1135.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1996
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.). by Series: Lecture notes in computer science ; 13030. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha