
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
22.05.2025 um 12:48 Uhr
22.05.2025 um 12:48 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:
9781394218943 - iPhone For Seniors For Dummies - Dwight Spivey Kar...9783030452360 - Tools and Algorithms for the Construction and Anal...
9783319708478 - Formal Methods Foundations and Applications Karton...
9783540262398 - New Introduction to Multiple Time Series Analysis ...
5712033002139 - Smart Zinfandel 60 - Dog Coat f drying...
9783031377082 - Computer Aided Verification Kartoniert (TB)...
9783319906850 - Functional and Logic Programming Kartoniert (TB)...
9783642041631 - Semantics and Algebraic Specification - Jens Palsb...
9783030451899 - Tools and Algorithms for the Construction and Anal...
9783031572555 - Tools and Algorithms for the Construction and Anal...
9783031008832 - Synthesis Lectures on Distributed Computing Theory...
9783540208037 - Verification Model Checking and Abstract Interpret...
kürzlich hinzugefügt:
9781394218943 - iPhone For Seniors For Dummies - Dwight Spivey Kar...9783642405365 - Automated Reasoning with Analytic Tableaux and Rel...
9783642032394 - Formal Methods for Industrial Critical Systems Kar...
5712033003099 - Smart Elmwood 60 - Dog Coat f drying...
9783662534120 - Static Analysis Kartoniert (TB)...
9783319234038 - Model Checking Software Kartoniert (TB)...
9783319265285 - Programming Languages and Systems Kartoniert (TB)...
9783030451899 - Tools and Algorithms for the Construction and Anal...
9783319587462 - Computer Science - Theory and Applications Kartoni...
9783540262398 - New Introduction to Multiple Time Series Analysis ...
9783319906850 - Functional and Logic Programming Kartoniert (TB)...
9783642390128 - Modelling Foundations and Applications Kartoniert ...