EAN: 9783642004308
Bilder-Quelle: discount24.de - Sport-Freizeit
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.
Produktinformationen zuletzt aktualisiert am
18.08.2026 um 20:35 Uhr
18.08.2026 um 20:35 Uhr
Hersteller
-
EAN
9783642004308
MPN
-
ASIN
364200430X
Produktgruppe
-
Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783030034238 - Leveraging Applications of Formal Methods Verifica...9783319234007 - Computational Methods in Systems Biology Kartonier...
9780194011105 - insight Advanced Students Book - Jayne Wildman Kar...
9781915261472 - Tips for Teachers 400+ ideas to improve your teach...
9783319929699 - Software Engineering and Formal Methods Kartoniert...
9780805095159 - Being Mortal - Atul Gawande Gebunden...
9783642245589 - Formal Methods and Software Engineering Kartoniert...
9783642032394 - Formal Methods for Industrial Critical Systems Kar...
9783319105741 - Handbook of Model Checking Gebunden...
9783319082592 - Web Services and Formal Methods Kartoniert (TB)...
9783662534120 - Static Analysis Kartoniert (TB)...
5712033002139 - Smart Zinfandel 60 - Dog Coat f drying...
kürzlich hinzugefügt:
0197050367419 - Akku BL18120 LI 18 Volt 12Ah...9780387691664 - SAT-Based Scalable Formal Verification Solutions -...
9783642032394 - Formal Methods for Industrial Critical Systems Kar...
9783642357459 - Tools for Practical Software Verification Kartonie...
9783642050886 - FM 2009 Formal Methods Kartoniert (TB)...
9783319640204 - Undergraduate Topics in Computer Science Concise...
9783642004308 - Model Checking and Artificial Intelligence Kartoni...
9783642405365 - Automated Reasoning with Analytic Tableaux and Rel...
9783642402289 - Formal Modeling and Analysis of Timed Systems Kart...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783319494500 - Conformance Checking and Diagnosis in Process Mini...
9783540208037 - Verification Model Checking and Abstract Interpret...