
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
12.07.2025 um 09:51 Uhr
12.07.2025 um 09:51 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:
9783642405365 - Automated Reasoning with Analytic Tableaux and Rel...9780805095159 - Being Mortal - Atul Gawande Gebunden...
9783662558614 - Transactions on Petri Nets and Other Models of Con...
9783642357459 - Tools for Practical Software Verification Kartonie...
9783319234007 - Computational Methods in Systems Biology Kartonier...
9783662534007 - Transactions on Petri Nets and Other Models of Con...
9783319471686 - Leveraging Applications of Formal Methods Verifica...
9783030034177 - Leveraging Applications of Formal Methods Verifica...
9783662457290 - Transactions on Petri Nets and Other Models of Con...
9783642026515 - Model Checking Software Kartoniert (TB)...
9783642007675 - Tools and Algorithms for the Construction and Anal...
9783662534120 - Static Analysis Kartoniert (TB)...
kürzlich hinzugefügt:
9783030034238 - Leveraging Applications of Formal Methods Verifica...9783319640204 - Undergraduate Topics in Computer Science Concise...
9783540208037 - Verification Model Checking and Abstract Interpret...
9783319899626 - Tools and Algorithms for the Construction and Anal...
9783642050886 - FM 2009 Formal Methods Kartoniert (TB)...
9780805095159 - Being Mortal - Atul Gawande Gebunden...
9783642113185 - Verification Model Checking and Abstract Interpret...
9783662457290 - Transactions on Petri Nets and Other Models of Con...
9783031377082 - Computer Aided Verification Kartoniert (TB)...
9783319105741 - Handbook of Model Checking Gebunden...
9783662460801 - Verification Model Checking and Abstract Interpret...
9781915261472 - Tips for Teachers 400+ ideas to improve your teach...