Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,27
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,88
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,28
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,93
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 200.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2007
ISBN 10: 3540741275 ISBN 13: 9783540741275
Librería: moluna, Greven, Alemania
EUR 64,08
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Presents the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial IntelligenceFeatures eight full workshop papers and three post-proceedings papersCovers planning and model checking, heuristics for real-time model .
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2007
ISBN 10: 3540741275 ISBN 13: 9783540741275
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 58,39
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Model Checking and Artificial Intelligence | 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers | Stefan Edelkamp (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540741275 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540741275 ISBN 13: 9783540741275
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 185 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 78,27
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 200 Illus.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 78,59
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 200.