
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
11.05.2025 um 01:34 Uhr
11.05.2025 um 01:34 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:
9783031011559 - Synthesis Lectures on Information Concepts Retriev...9783319663340 - Quantitative Evaluation of Systems Kartoniert (TB)...
9783031483219 - Fundamentals of Information Systems Interoperabili...
9783662472200 - Cellular Automata and Discrete Complex Systems Kar...
9783319478456 - Formal Methods and Software Engineering Kartoniert...
9789811074660 - Mobile Agent-Based Anomaly Detection and Verificat...
9783642243097 - Formal Modeling and Analysis of Timed Systems Kart...
9783319399713 - Computational Autism - Boris Galitsky Gebunden...
9783319671123 - Critical Systems Formal Methods and Automated Veri...
9783642331756 - Software Engineering for Resilient Systems Kartoni...
9783540001416 - Formal Techniques for Networked and Distributed Sy...
9781441929181 - Springer Series in Statistics Regression Modelin...
kürzlich hinzugefügt:
9783030007867 - Enterprise and Organizational Modeling and Simulat...9783662505380 - Service-Oriented Computing - ICSOC 2015 Workshops ...
9783319105741 - Handbook of Model Checking Gebunden...
9783642033582 - Theorem Proving in Higher Order Logics Kartoniert ...
9783319498140 - Formal Methods Foundations and Applications Karton...
9783642043673 - Formal Modeling and Analysis of Timed Systems Kart...
9783031007781 - Synthesis Lectures on Data Mining and Knowledge Di...
9783642332838 - Collaboration and Technology Kartoniert (TB)...
9783642243097 - Formal Modeling and Analysis of Timed Systems Kart...
9783642382291 - Web Services and Formal Methods Kartoniert (TB)...
9783319458915 - Software Engineering for Resilient Systems Kartoni...
9783319478456 - Formal Methods and Software Engineering Kartoniert...