Model Checking and Artificial Intelligence (Paperback)
Stefan Edelkamp
ISBN 10: 3540741275 ISBN 13: 9783540741275
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
Nuevos
Paperback
Librería:
Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 12 de octubre de 2005
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Paperback. 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. Constitutes the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de ref. del artículo 9783540741275
Sinopsis:
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.
Reseña del editor:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Model Checking and Artificial Intelligence (...
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Año de publicación: 2007
Encuadernación: Paperback
Condición: new
Los mejores resultados en AbeBooks
Imagen del vendedor
Model Checking and Artificial Intelligence | 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. 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: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Nº de ref. del artículo: 101980157
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 5 disponibles
Imagen de archivo
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020176087
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking and Artificial Intelligence
Publicado por
Springer Berlin Heidelberg, 2007
ISBN 10: 3540741275
ISBN 13: 9783540741275
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Nº de ref. del artículo: 4899878
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking and Artificial Intelligence
Publicado por
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540741275
ISBN 13: 9783540741275
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. 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. Nº de ref. del artículo: 9783540741275
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking and Artificial Intelligence : 4th Workshop, Mochart IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5309469-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540741275
Gastos de envío:
EUR 17,77
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen del vendedor
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Publicado por
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540741275
ISBN 13: 9783540741275
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. 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. Nº de ref. del artículo: 9783540741275
Gastos de envío:
EUR 61,45
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking and Artificial Intelligence : 4th Workshop, Mochart IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5309469-n
Gastos de envío:
EUR 17,21
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540741275_new
Gastos de envío:
EUR 13,74
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking and Artificial Intelligence
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 200. Nº de ref. del artículo: 26301204
Cantidad disponible: 1 disponibles