Model Checking and Artificial Intelligence (English, Ron Van Der Meyden | Jan-Georg Smaus)
by Ron Van Der Meyden | Jan-Georg Smaus
Delivery options
Model Checking and Artificial Intelligence by Ron Van Der Meyden | Jan-Georg Smaus is listed under AI & Machine Learning on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642206733
ISBN-10
3642206735
Author
Ron Van Der Meyden | Jan-Georg Smaus
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
ISBN-13: 9783642206733
ISBN-10: 3642206735
Reader's Guide
What This Book Covers
- ·The main subject matter of Model Checking and Artificial Intelligence
- ·Ideas and detail relevant to AI & Machine Learning
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in AI & Machine Learning, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Model Checking and Artificial Intelligence?
Model Checking and Artificial Intelligence starts from ₹5449 at BookBajar. Available in Paperback.
Who is the author of Model Checking and Artificial Intelligence?
Ron Van Der Meyden | Jan-Georg Smaus is the author of Model Checking and Artificial Intelligence. Browse more books by Ron Van Der Meyden | Jan-Georg Smaus on BookBajar.
Is Model Checking and Artificial Intelligence available in Paperback and Hardcover?
Yes, Model Checking and Artificial Intelligence is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Model Checking and Artificial Intelligence?
Yes, BookBajar offers free delivery for Model Checking and Artificial Intelligence across India. No minimum order value required.
Is Cash on Delivery available for Model Checking and Artificial Intelligence?
Yes, Cash on Delivery (COD) is available for Model Checking and Artificial Intelligence on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Model Checking and Artificial Intelligence?
Model Checking and Artificial Intelligence can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Model Checking and Artificial Intelligence?
Model Checking and Artificial Intelligence has ISBN 9783642206733 (ISBN-10: 3642206735). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Model Checking and Artificial Intelligence?
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.
Product ID: isbn-9783642206733
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637