
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
31.03.2025 um 00:23 Uhr
31.03.2025 um 00:23 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:
9783319415901 - Software Engineering and Formal Methods Kartoniert...9783642041631 - Semantics and Algebraic Specification - Jens Palsb...
9783642113185 - Verification Model Checking and Abstract Interpret...
9783319941103 - Model Checking Software Kartoniert (TB)...
9783642004308 - Model Checking and Artificial Intelligence Kartoni...
9783319708478 - Formal Methods Foundations and Applications Karton...
9783642402289 - Formal Modeling and Analysis of Timed Systems Kart...
9783642390128 - Modelling Foundations and Applications Kartoniert ...
9783319479576 - Programming Languages and Systems Kartoniert (TB)...
9783319234007 - Computational Methods in Systems Biology Kartonier...
9783319082592 - Web Services and Formal Methods Kartoniert (TB)...
9783642007675 - Tools and Algorithms for the Construction and Anal...
kürzlich hinzugefügt:
9783319328317 - Web Service Composition - Charles J Petrie Gebunde...9783658099930 - Formal Modeling and Verification of Cyber-Physical...
9783319341705 - Computer Science - Theory and Applications Kartoni...
9783319640204 - Undergraduate Topics in Computer Science Concise...
9783319906850 - Functional and Logic Programming Kartoniert (TB)...
9783031377051 - Computer Aided Verification Kartoniert (TB)...
9783319961446 - Computer Aided Verification Kartoniert (TB)...
9783662534120 - Static Analysis Kartoniert (TB)...
9783031572487 - Tools and Algorithms for the Construction and Anal...
9783642018558 - Software Engineering Approaches for Offshore and O...
9783031377082 - Computer Aided Verification Kartoniert (TB)...
9780805095159 - Being Mortal - Atul Gawande Gebunden...