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
24.06.2026 um 08:28 Uhr
24.06.2026 um 08:28 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:
9781493969043 - Handbook of Bioenergy Economics and Policy Volume ...9783663098249 - European Consortium for Mathematics in Industry ...
9783319175232 - NASA Formal Methods Kartoniert (TB)...
9783319671123 - Critical Systems Formal Methods and Automated Veri...
9783319196282 - Trends in Practical Applications of Agents Multi-A...
9783319577074 - Structured Object-Oriented Formal Language and Met...
9781484243053 - Complex Enterprise Architecture - John McDowall Ka...
9783642413650 - Model and Data Engineering Kartoniert (TB)...
9783319914756 - Information Processing and Management of Uncertain...
9783319281131 - Recent Trends in Algebraic Development Techniques ...
9783642033582 - Theorem Proving in Higher Order Logics Kartoniert ...
9783031004339 - Synthesis Lectures on Artificial Intelligence and ...
kürzlich hinzugefügt:
9783642333644 - Formal Modeling and Analysis of Timed Systems Kart...9783319530420 - Cellular Automata Analysis and Applications - Karl...
9783540555995 - PARLE 92 Parallel Architectures and Languages Euro...
9783319914725 - Information Processing and Management of Uncertain...
9783031012167 - Synthesis Lectures on Information Security Privacy...
9783319952451 - Principles of Modeling Kartoniert (TB)...
9783642006647 - Logic Language and Computation Kartoniert (TB)...
9783642255342 - Service Oriented Computing Kartoniert (TB)...
9783319682693 - ModelEd TestEd TrustEd Kartoniert (TB)...
9783319668444 - Integrated Formal Methods Kartoniert (TB)...
9783319399713 - Computational Autism - Boris Galitsky Gebunden...
9783319471655 - Leveraging Applications of Formal Methods Verifica...