- 5 Ergebnisse
Kleinster Preis: € 38,51, größter Preis: € 53,49, Mittelwert: € 46,69
1
Bestellen
bei ZVAB.com
€ 38,51
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Peled, Doron A. und Michael Wooldridge:

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers - Taschenbuch

2009, ISBN: 364200430X

[EAN: 9783642004308], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], INTELLIGENCE,LOGIC PROGRAMMING,DISTRIBUTED MODEL CHECKING,ABSTRACTION,MULTI-AGENT SYSTEMS,DIRECTED CHECKI… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
zuklappen (X)
2
Model Checking and Artificial Intelligence - Peled, Doron A. Wooldridge, Michael
Bestellen
bei booklooker.de
€ 48,45
Bestellen
Details und Versand
gesponserter Link

Peled, Doron A. Wooldridge, Michael:

Model Checking and Artificial Intelligence - Taschenbuch

2009, ISBN: 9783642004308

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Mehr…

Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten Moluna GmbH
zuklappen (X)
3
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers - Peled, Doron A. und Michael Wooldridge
Bestellen
bei booklooker.de
€ 39,52
Versand: € 29,901
Bestellen
Details beim Anbieter
gesponserter Link
Peled, Doron A. und Michael Wooldridge:
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers - gebrauchtes Buch

2009

ISBN: 9783642004308

[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2009 5180775/12, DE, [SC: 29.90], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberwei… Mehr…

Versandkosten:Versand in die Schweiz. (EUR 29.90) Buchpark GmbH
zuklappen (X)
4
Model Checking and Artificial Intelligence
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Model Checking and Artificial Intelligence - Taschenbuch

2009, ISBN: 9783642004308

*Model Checking and Artificial Intelligence* - 5th International Workshop MoChArt 2008 Patras Greece July 21 2008 Revised Selected and Invited Papers. Auflage 2009 / Taschenbuch für 53.49… Mehr…

Versandkosten:Shipping in 1-2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Model Checking and Artificial Intelligence - Doron A. Peled; Michael Wooldridge
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 13,951
Bestellen
Details beim Anbieter
gesponserter Link
Doron A. Peled; Michael Wooldridge:
Model Checking and Artificial Intelligence - Erstausgabe

2009, ISBN: 9783642004308

Taschenbuch

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Buch, Softcover, 2009, [PU: Springer Berlin], Springer Berlin, 2009

Versandkosten:Versand in 10-14 Tagen. (EUR 13.95)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Model Checking and Artificial Intelligence
Autor:
Titel:
ISBN-Nummer:

9783642004308


This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures 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.

Detailangaben zum Buch - Model Checking and Artificial Intelligence


EAN (ISBN-13): 9783642004308
ISBN (ISBN-10): 364200430X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin
188 Seiten
Gewicht: 0,309 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-05-11T20:00:39+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-13T15:43:22+01:00 (Berlin)
ISBN/EAN: 9783642004308

ISBN - alternative Schreibweisen:
3-642-00430-X, 978-3-642-00430-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wooldridge, peled
Titel des Buches: workshop, international model, paper models, artificial intelligence, model art, art mode, pape greece, invited

Daten vom Verlag:

Autor/in: Doron A. Peled; Michael Wooldridge
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Model Checking and Artificial Intelligence - 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Verlag: Springer; Springer Berlin
189 Seiten
Erscheinungsjahr: 2009-02-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 189 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; AI logics; European Conference on Artificial Intelligence; abstraction; artificial intelligence; automata theory; calculi; directed model checking; distributed model checking; formal verification; heuristic search; intelligence; logic programming; model checking; multi-agent systems; program verification; Artificial Intelligence; Compilers and Interpreters; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; EA

Verifying Time and Communication Costs of Rule-Based Reasoners.- Solving ?-Calculus Parity Games by Symbolic Planning.- Verifying Robocup Teams.- Scaling Search with Pattern Databases.- Survey on Directed Model Checking.- Automated Testing of Planning Models.- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search for Correct Programs.- Experimental Evaluation of a Planning Language Suitable for Formal Verification.- Relaxation Refinement: A New Method to Generate Heuristic Functions.- Model Checking Strategic Equilibria.
< zum Archiv...