Articles liés à Model Checking and Artificial Intelligence: 4th Workshop,...
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 36,60
EUR 7,70 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Model Checking and Artificial Intelligence: 4th Workshop,...
Image d'archives
Model Checking and Artificial Intelligence
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 200. N° de réf. du vendeur 26301204
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking and Artificial Intelligence
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 200. N° de réf. du vendeur 18301214
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking and Artificial Intelligence
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 200 Illus. N° de réf. du vendeur 7546699
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Model Checking and Artificial Intelligence
Edité par
Springer Berlin Heidelberg, 2007
ISBN 10 : 3540741275
ISBN 13 : 9783540741275
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 4899878
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540741275_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Checking and Artificial Intelligence
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10 : 3540741275
ISBN 13 : 9783540741275
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783540741275
Quantité disponible : 2 disponible(s)
Image d'archives
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540741275
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10 : 3540741275
ISBN 13 : 9783540741275
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783540741275
Quantité disponible : 2 disponible(s)
Image d'archives
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)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540741275
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Edité par
Springer, 2007
ISBN 10 : 3540741275
ISBN 13 : 9783540741275
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA75835407412756
Quantité disponible : 1 disponible(s)