Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 69,99 €, prix le plus élevé: 129,81 €, prix moyen: 84,89 €
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers: 4428 - Stefan Edelkamp, Alessio Lomuscio
Livre non disponible
(*)
Stefan Edelkamp, Alessio Lomuscio:
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers: 4428 - nouveau livre

2006, ISBN: 3540741275

Capa comum, [EAN: 9783540741275], Springer, Springer, Book, [PU: Springer], 2007-08-09, Springer, 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., 13984942011, Desenvolvimento de Software, 13984941011, Design de Software, 13984937011, Programação, 7882700011, Computação, Informática e Mídias Digitais, 7882627011, Inglês e Outras Línguas, 7841278011, Categorias, 6740748011, Livros, 8169562011, Custom Stores, 8169627011, Busca Avançada, 13420260011, Volta às Aulas, 8169561011, Specialty Stores, 6740748011, Livros

Nouveaux livres Amazon.com.br
Amazon.com.br
Neuware. Frais d'envoiTemporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your credit card will not be charged until we ship the item., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Model Checking and Artificial Intelligence - Stefan Edelkamp
Livre non disponible
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence - Livres de poche

ISBN: 9783540741275

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., [SC: 0.00], Neuware, gewerbliches Angebot, 242x156x15 mm, [GW: 319g]

Nouveaux livres Booklooker.de
Carl Hübscher GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Model Checking and Artificial Intelligence - Stefan Edelkamp
Livre non disponible
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence - Livres de poche

ISBN: 9783540741275

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 319g]

Nouveaux livres Booklooker.de
Buchhandlung Kühn GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber)
Livre non disponible
(*)
Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber):
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - nouveau livre

2007, ISBN: 3540741275

ID: A5270841

Kartoniert / Broschiert Automatentheorie, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), Software Engineering, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, Künstliche Intelligenz, für die Hochschule, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Berlin]

Nouveaux livres Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber)
Livre non disponible
(*)
Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber):
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - nouveau livre

2007, ISBN: 3540741275

ID: A5270841

Kartoniert / Broschiert Automatentheorie, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Berlin]

Nouveaux livres Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Frais d'envoiVersandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Model Checking and Artificial Intelligence

This book constitutes the thoroughly 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. The 8 revised full workshop papers and 3 revised post-proceedings papers presented have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields. The papers are organized in topical sections on planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, as well as logics for model checking and artificial intelligence.

Informations détaillées sur le livre - Model Checking and Artificial Intelligence


EAN (ISBN-13): 9783540741275
ISBN (ISBN-10): 3540741275
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer-Verlag GmbH
185 Pages
Poids: 0,319 kg
Langue: eng/Englisch

Livre dans la base de données depuis 01.12.2007 00:18:00
Livre trouvé récemment le 04.12.2017 06:51:56
ISBN/EAN: 9783540741275

ISBN - Autres types d'écriture:
3-540-74127-5, 978-3-540-74127-5


< pour archiver...
Livres en relation