- 5 Résultats
prix le plus bas: € 50,28, prix le plus élevé: € 78,48, prix moyen: € 59,44
1
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - Juan M. Corchado Rodriguez
Commander
sur hive.co.uk
£ 45,89
(environ € 51,52)
Commander
Détails et expédition
Lien sponsorisé
Juan M. Corchado Rodriguez:

Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre

2010, ISBN: 9783642206740

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…

No. 9783642206740. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
2
Model Checking and Artificial Intelligence - Ron van der Meyden; Jan-Georg Smaus
Commander
sur Springer.com
€ 50,28
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Ron van der Meyden; Jan-Georg Smaus:

Model Checking and Artificial Intelligence - nouveau livre

2010, ISBN: 9783642206740

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
3
Model Checking and Artificial Intelligence - Springer
Commander
sur Orellfuessli.ch
CHF 84,90
(environ € 78,48)
Envoi: € 16,641
Commander
Détails du fournisseur
Lien sponsorisé
Springer:
Model Checking and Artificial Intelligence - nouveau livre

2011

ISBN: 9783642206740

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…

Nr. 30582955. Frais d'envoiLieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.64)
fermer(X)
4
Model Checking and Artificial Intelligence
Commander
sur eBook.de
€ 63,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Model Checking and Artificial Intelligence - nouveau livre

2010, ISBN: 9783642206740

Model Checking and Artificial Intelligence - 6th International Workshop MoChArt 2010 Atlanta GA USA July 11 2010 Revised Selected and Invited Papers: ab 63.99 € eBooks > Fachthemen & Wiss… Plus…

Frais d'envoiin stock, , , DE. (EUR 0.00)
fermer(X)
5
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - F.L. Jenkner
Commander
sur hive.co.uk
£ 45,89
(environ € 52,93)
Commander
Détails et expédition
Lien sponsorisé
F.L. Jenkner:
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre

2010, ISBN: 9783642206740

; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Vienna

No. 9783642206740. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Model Checking and Artificial Intelligence
Auteur:
Titre:
ISBN:

9783642206740

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


EAN (ISBN-13): 9783642206740
Date de parution: 2010
Editeur: Springer Berlin Heidelberg

Livre dans la base de données depuis 2015-12-16T23:06:55+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-10-10T07:09:10+02:00 (Paris)
ISBN/EAN: 9783642206740

ISBN - Autres types d'écriture:
978-3-642-20674-0
Autres types d'écriture et termes associés:
Auteur du livre: springer, van der
Titre du livre: artificial intelligence, atlanta

Données de l'éditeur

Auteur: Ron van der Meyden; Jan-Georg Smaus
Titre: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Editeur: Springer; Springer Berlin
131 Pages
Date de parution: 2011-04-21
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 131 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; computer aided deduction; deterministic automata; formal methods; logic programming; temporal logic; theorem proving; verification; C; Artificial Intelligence; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; BC

The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.
Fast-track conference proceedings State-of-the-art research Up-to-date results
< pour archiver...