- 5 Résultats
prix le plus bas: € 5,89, prix le plus élevé: € 81,17, prix moyen: € 61,44
1
Model Checking and Artificial Intelligence - Stefan Edelkamp
Commander
sur BookDepository.com
€ 69,99
Envoi: € 0,001
CommanderLien sponsorisé
Stefan Edelkamp:

Model Checking and Artificial Intelligence - Livres de poche

ISBN: 9783540741275

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00)
2
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and
Commander
sur Indigo.ca
C$ 111,50
(environ € 75,59)
CommanderLien sponsorisé
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and - nouveau livre

2006, ISBN: 9783540741275

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 pos… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
3
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)
Commander
sur awesomebooks.com
£ 70,04
(environ € 81,17)
Envoi: € 3,471
CommanderLien sponsorisé
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence) - nouveau livre

2006

ISBN: 9783540741275

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Papers are organized into topical sections covering planning … Plus…

No. 9783540741275. Frais d'envoi20, (EUR 3.47)
4
Model Checking and Artificial Intelligence - Edelkamp, Stefan; Lomuscio, Alessio
Commander
sur ebooks.com
$ 84,99
(environ € 74,54)
CommanderLien sponsorisé
Edelkamp, Stefan; Lomuscio, Alessio:
Model Checking and Artificial Intelligence - nouveau livre

ISBN: 9783540741275

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 pos… Plus…

  - Frais d'envoizzgl. Versandkosten., Livraison non-comprise
5
Commander
sur Biblio.co.uk
$ 6,47
(environ € 5,89)
Envoi: € 6,361
CommanderLien sponsorisé
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 ... / Lecture Notes in Artificial Intelligence) - livre d'occasion

2006, ISBN: 9783540741275

Springer. Used - Like New. Book in almost Brand New condition., Springer

Frais d'envoi EUR 6.36 Better World Books

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: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and

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: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and


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 2007-12-01T00:18:00+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-01-24T11:27:58+01:00 (Paris)
ISBN/EAN: 3540741275

ISBN - Autres types d'écriture:
3-540-74127-5, 978-3-540-74127-5
Autres types d'écriture et termes associés:
Auteur du livre: edel, alessio
Titre du livre: art mode, model art, selected papers, italy, riva del garda, paper models, august, lecture notes artificial intelligence


Données de l'éditeur

Auteur: Stefan Edelkamp; Alessio Lomuscio
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Editeur: Springer; Springer Berlin
185 Pages
Date de parution: 2007-08-09
Berlin; Heidelberg; DE
Poids: 0,640 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
IX, 185 p.

BC; Artificial Intelligence; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; European Conference on Artificial Intelligence; Multi-agent system; artificial intelligence; heuristics; intelligence; model checking; real-time; verification; Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; EA

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.- Verifying Space and Time Requirements for Resource-Bounded Agents.- Automated Creation of Pattern Database Search Heuristics.- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.- Real-Time Model Checking on Secondary Storage.- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.- Symbolic Model Checking of Logics with Actions.- A Framework for Model Checking Institutions.- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.- Distributed Extended Beam Search for Quantitative Model Checking.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540741282 Model Checking and Artificial Intelligence (Stefan Edelkamp; Alessio Lomuscio)


< pour archiver...