^^PAGEHEADLINE ^^
-
Cyber Physical Systems. Design, Modeling, and Evaluation
Springer Verlag GmbH 13.01.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and E...
-
Cyber Physical Systems.Design, Modeling, and Evaluation
Springer Verlag GmbH 10.11.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and ...
-
Topics in Theoretical Computer Science
Springer Verlag GmbH 25.01.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the thoroughly refereedpostconference proceedings of the First IFIP WG ...
-
Topics in Theoretical Computer Science
Springer Verlag GmbH 14.10.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference...
-
Formal Methods: Foundations and Applications
Springer Verlag GmbH 24.10.2018 - 2018Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods,...
-
Formal Techniques for Distributed Objects, Components, and Systems
Springer Verlag GmbH 12.06.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference o...
-
Rebeca for Actor Analysis in Action
Springer Verlag GmbH 21.03.2025 - 2025Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...
- 1