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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Culture of an Information Economy
$169.99
macOS Daemonology
$44.99
Knowledge Cartography
$84.99
Cancer Drug Resistance
$109.00
China's Sustainability Transitions
$109.00
Expert Shell Scripting
$44.99
Zulssigkeit einer umwandlungsrechtlichen Direktabspaltung
$74.99
Grade 3 Below-Level Pack (Level E-I)
$135.00
Electron-Photon Interaction in Dense Media
$169.99
TYPO3 Online-Marketing-Guide
$69.99
Handbuch Bioethik
$39.99
Vermes
$59.99
Proceedings of the 21st Congress of the International Ergonomics Association (IEA 2021)
$249.99
Foundations of Hyperbolic Manifolds
$69.99
Essential Relativity
$99.99
Distributed Computing in Sensor Systems
$54.99
Energy-Efficient VCSELs for Optical Interconnects
$84.99
Integrated Land Use and Environmental Models
$109.99
The European Union in Crisis
$54.99
A New Driver of Regional Sustainability in Japan
$99.00
Zane and the Hurricane
$6.74
El zapatero y los duendes
$3.71
Natural Human Fertility
$44.99
Dermatology and Diabetes
$79.99
S3-Leitlinie Rauchen und Tabakabhngigkeit: Screening, Diagnostik und Behandlung
$49.99
Coupled Heat and Mass Transfer in Binary Mixtures at Supercritical Pressures
$199.99
Ten Easter Eggs
$6.74
Energie im Wandel
$74.99
Valuation of Convertible Bonds when Investors Act Strategically
$54.99
Market-Consistent Actuarial Valuation
$49.99
Virtuelle Unternehmen
$59.99
Descriptor Systems of Integer and Fractional Orders
$109.00
Evolutionary Computation in Combinatorial Optimization
$49.99
Structural Synthesis in Precision Elasticity
$169.99
Advances in Artificial Intelligence in Manufacturing
$139.00
The New Eastern Mediterranean
$54.99
Shaws Ibsen
$139.99
Test Policy and the Politics of Opportunity Allocation: The Workplace and the Law
$109.99
Nanostructure Design
$109.99
Iterative Learning Control
$129.00
