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
08.02.2026 um 01:37 Uhr
08.02.2026 um 01:37 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:
9783319082592 - Web Services and Formal Methods Kartoniert (TB)...9783642113185 - Verification Model Checking and Abstract Interpret...
9783642004308 - Model Checking and Artificial Intelligence Kartoni...
9783642041631 - Semantics and Algebraic Specification - Jens Palsb...
9783030034238 - Leveraging Applications of Formal Methods Verifica...
9783319105741 - Handbook of Model Checking Gebunden...
9780194011105 - insight Advanced Students Book - Jayne Wildman Kar...
9783031011771 - Synthesis Lectures on Information Concepts Retriev...
9783031377020 - Computer Aided Verification Kartoniert (TB)...
9783642018558 - Software Engineering Approaches for Offshore and O...
9783319415901 - Software Engineering and Formal Methods Kartoniert...
9783658099930 - Formal Modeling and Verification of Cyber-Physical...
kürzlich hinzugefügt:
9783642041631 - Semantics and Algebraic Specification - Jens Palsb...9783031004452 - Synthesis Lectures on Artificial Intelligence and ...
9783658099930 - Formal Modeling and Verification of Cyber-Physical...
9783319929699 - Software Engineering and Formal Methods Kartoniert...
9783642113185 - Verification Model Checking and Abstract Interpret...
9783319341705 - Computer Science - Theory and Applications Kartoni...
9783031377082 - Computer Aided Verification Kartoniert (TB)...
9783319234007 - Computational Methods in Systems Biology Kartonier...
9783662466803 - Tools and Algorithms for the Construction and Anal...
9783642245589 - Formal Methods and Software Engineering Kartoniert...
9780194011105 - insight Advanced Students Book - Jayne Wildman Kar...
5712033003099 - Smart Elmwood 60 - Dog Coat f drying...