Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.). by Series: Lecture notes in computer science ; 4595. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SPIN 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio (eds.). by Series: Lecture notes in computer science ; 4428. | 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, ©2007
Other title:
  • MoChArt IV
  • MoChArt 4
  • MoChArt four
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
KI 2011: advances in artificial intelligence : 34th annual German conference on AI, Berlin, Germany, October 4-7, 2011 : proceedings / Joscha Bach, Stefan Edelkamp (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 7006.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr.: 80113699
Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
KI 2021 : 44th German Conference on AI, Virtual event, September 27-October 1, 2021, Proceedings / Stefan Edelkamp, Ralf Möller, Elmar Rueckert (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 12873. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2021
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Heuristic search : theory and applications / Stefan Edelkamp, Stefan Schrödl. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Boston : Elsevier/Morgan Kaufmann, ©2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha