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
24.12.2025 um 13:29 Uhr
24.12.2025 um 13:29 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:
9783319899626 - Tools and Algorithms for the Construction and Anal...9783030034207 - Leveraging Applications of Formal Methods Verifica...
9783319479576 - Programming Languages and Systems Kartoniert (TB)...
9783030451899 - Tools and Algorithms for the Construction and Anal...
9783658126797 - BestMasters Complete Symbolic Simulation of Syst...
9783642402289 - Formal Modeling and Analysis of Timed Systems Kart...
9783319708478 - Formal Methods Foundations and Applications Karton...
9783319494500 - Conformance Checking and Diagnosis in Process Mini...
9783319471655 - Leveraging Applications of Formal Methods Verifica...
9780805095159 - Being Mortal - Atul Gawande Gebunden...
9783540262398 - New Introduction to Multiple Time Series Analysis ...
9783642032394 - Formal Methods for Industrial Critical Systems Kar...
kürzlich hinzugefügt:
0197050367419 - 1915J2-8 Battery...9783030034238 - Leveraging Applications of Formal Methods Verifica...
9783031572555 - Tools and Algorithms for the Construction and Anal...
9780805095159 - Being Mortal - Atul Gawande Gebunden...
9783642041631 - Semantics and Algebraic Specification - Jens Palsb...
9783319494500 - Conformance Checking and Diagnosis in Process Mini...
9783642113185 - Verification Model Checking and Abstract Interpret...
9783540208037 - Verification Model Checking and Abstract Interpret...
9783030174644 - Tools and Algorithms for the Construction and Anal...
9783319234007 - Computational Methods in Systems Biology Kartonier...
9783319238197 - Runtime Verification Kartoniert (TB)...
9783662558614 - Transactions on Petri Nets and Other Models of Con...