
EAN: 9783319657646

Bilder-Quelle: discount24.de - Sport-Freizeit
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2017 held in Berlin Germany in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and as a generalization hybrid systems.
Produktinformationen zuletzt aktualisiert am
27.03.2025 um 12:43 Uhr
27.03.2025 um 12:43 Uhr
Hersteller
-
EAN
9783319657646
MPN
-
ASIN
331965764X
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783031004414 - Synthesis Lectures on Artificial Intelligence and ...9783031010194 - Synthesis Lectures on Human Language Technologies ...
9783030034207 - Leveraging Applications of Formal Methods Verifica...
9783319196282 - Trends in Practical Applications of Agents Multi-A...
9783662484951 - Tensor Analysis and Elementary Differential Geomet...
9783319458915 - Software Engineering for Resilient Systems Kartoni...
9783030034269 - Leveraging Applications of Formal Methods Verifica...
9783319941103 - Model Checking Software Kartoniert (TB)...
9783642006647 - Logic Language and Computation Kartoniert (TB)...
9783319478456 - Formal Methods and Software Engineering Kartoniert...
9783319854830 - Constraint Theory - George J Friedman Phan Phan Ka...
9783642336089 - Model and Data Engineering Kartoniert (TB)...
kürzlich hinzugefügt:
9783319952451 - Principles of Modeling Kartoniert (TB)...9783319448770 - Formal Modeling and Analysis of Timed Systems Kart...
9783642332838 - Collaboration and Technology Kartoniert (TB)...
9781447128847 - Dynamics and Control of Switched Electronic System...
9781441996121 - Applied Data Analysis and Modeling for Energy Engi...
9783642030789 - Conceptual Structures Leveraging Semantic Technolo...
9783319392998 - Cellular Automata and Discrete Complex Systems Kar...
9783030001506 - Formal Modeling and Analysis of Timed Systems Kart...
9783540555995 - PARLE 92 Parallel Architectures and Languages Euro...
9783319099309 - A Rigorous Semantics for BPMN 20 Process Diagrams ...
9783642333644 - Formal Modeling and Analysis of Timed Systems Kart...
9783319577074 - Structured Object-Oriented Formal Language and Met...