
Model Checking and Artificial Intelligence (English, Ron Van Der Meyden | Jan-Georg Smaus)
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
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 papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these…
ISBN: 9783642206733
Book Specifications
| ISBN-13 | 9783642206733 |
| ISBN-10 | 3642206735 |
| Publisher | Springer |
| Category | AI & Machine Learning |
Frequently Asked Questions
What is the price of Model Checking and Artificial Intelligence?
Does BookShops.in offer free delivery for Model Checking and Artificial Intelligence?
Is Cash on Delivery available for Model Checking and Artificial Intelligence?
What is the return policy for Model Checking and Artificial Intelligence?
Is Model Checking and Artificial Intelligence authentic?
Customers Also Bought

Programming
Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer

Programming
Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean

Programming
Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm

Programming
Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'

Programming
Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.

Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |
Related Products
View All
AI & Machine Learning
Information-Theoretic Aspects of Neural Networks | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S. Neelakanta | CRC Press | by P. S

AI & Machine Learning
Google Cloud Certified Professional Machine Learning Study Guide | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wiley | by Mona Mona | Wile

AI & Machine Learning
AI Doctor - The Rise of Artificial Intelligence in Healthcare | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | by Ronald M. Razmi | Wiley | b

AI & Machine Learning
Artificial Intelligence in Action: Real-world Applications and Innovations (River Publishers in Computing and Information Science and Technology)

AI & Machine Learning
Artificial Intelligence for Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies | by John Paul Mueller | Dummies |

AI & Machine Learning
