Copied Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Sigma Receptors: Their Role in Disease and as Therapeutic Targets
$149.00
Reviews of Environmental Contamination and Toxicology Volume 211
$84.99
East-West Relations
$39.99
Information Systems Security
$54.99
d-d Excitations in Transition-Metal Oxides
$39.99
Kropfbekmpfung und Kropfverhtung in sterreich
$64.99
Tools and Algorithms for the Construction and Analysis of Systems
$54.99
The World's Largest Humanitarian Agency
$109.99
Formal Methods for Open Object-Based Distributed Systems IV
$169.00
Euclid Vindicated from Every Blemish
$109.99
The Politics of Virtue in Enlightenment France
$109.99
Physiology, Pharmacology and Development of Epileptogenic Phenomena
$54.99
Neuroscience in the 21st Century
$549.99
The Internet for Orthopaedists
$39.99
Psychologisierung des Alltagsbewutseins
$44.99
Lumbar Disc Herniation
$259.00
Poet Heroines in Medieval French Narrative
$54.99
Pluripotency in Domestic Animal Cells
$54.99
Sheet Metal Forming
$219.99
Employment Problems of Automation and Advanced Technology
$74.99
Revitalizing Indian Agriculture and Boosting Farmer Incomes
$54.99
Algorithmic Aspects of Cloud Computing
$54.99
Adaptive Hierarchical Isogeometric Finite Element Methods
$54.99
Progress in Botany
$259.00
Elegance and Enigma
$64.99
Einkauf und Supply Chain Management
$49.99
Metallopharmaceuticals I
$219.99
Benefit Transfer of Environmental and Resource Values
$59.99
Mergers & Acquisitions
$99.99
Recent Advances in Aerodynamics
$84.99
Waves in Flows
$69.99
Distributed Multimedia Information Retrieval
$54.99
Drawing and Painting Anime and Manga Faces
$20.27
Mitarbeiterfhrung mit dem LEAD-Navigator
$39.99
Oxygen Transport to Tissue XXXVII
$249.99
Political Analysis Using R
$69.99
The Emergence of Russian Liberalism
$39.99
Children and Screen Media in Changing Arab Contexts
$54.99
Computer Vision ECCV 2024
$79.99
