Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Springer: Model Checking and Artificial Intelligence (ISBN: 9783540741282) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Model Checking and Artificial Intelligence - 13 Angebote vergleichen
| Preise | 2016 | 2019 | 2023 |
|---|---|---|---|
| Schnitt | € 60,79 | € 68,29 | € 39,93 |
| Nachfrage |
Model Checking and Artificial Intelligence (2007)
DE NW EBISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer, neu, E-Book.
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence. PDF, 28.08.2007.
Model Checking and Artificial Intelligence (2007)
DE NW EBISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer, neu, E-Book.
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence. 28.08.2007, PDF.
Model Checking and Artificial Intelligence (2006)
DE PB NWISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Model Checking and Artificial Intelligence (2006)
DE NW EB DLISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Model Checking and Artificial Intelligence (2006)
DE NW EBISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer-Verlag GmbH, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking and Artificial Intelligence
DE NW EB DLISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Selected and Invited Papers (2006)
DE PB NWISBN: 9783540741275 bzw. 3540741275, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking and Artificial Intelligence (2006)
DE NW EBISBN: 9783540741282 bzw. 3540741283, in Deutsch, Springer-Verlag GmbH, Springer-Verlag GmbH, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking and Artificial Intelligence. 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (2007)
DE PB USISBN: 9783540741275 bzw. 3540741275, in Deutsch, Springer, Taschenbuch, gebraucht.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Model Checking And Artificial Intelligence
ENISBN: 9783540741282 bzw. 3540741283, in Englisch, Vitalsource Technologies, Inc.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen