Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.). by Steffen, Bernhard Olderog, E.-R Series: Lecture notes in computer science ; 1710. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New York : Springer, 1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm, Ernst-Rüdiger Olderog (eds.). by FTRTFT 2002 (2002 : Oldenburg, Germany) Damm, Werner Olderog, E.-R Series: Lecture notes in computer science ; 2469. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015. Proceedings / Roland Meyer, André Platzer, Heike Wehrheim (eds.). by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] Olderog, E.-R [honouree.] Series: Lecture notes in computer science ; 9360. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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 Olderog, E.-R [editor.] Steffen, Bernhard [editor] Yi, Wang [editor.] Jonsson, Bengt, 1957- [honouree.] Series: Lecture notes in computer science ; 13030. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha