Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
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 Series: Lecture notes in computer science ; 9360. | 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 : Springer, 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings / André Platzer, Geoff Sutcliffe (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 12699. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2021]
Other title:
  • CADE 28
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
Pages

Powered by Koha