Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 4
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
- 4
Programmierung | Softwareentwicklung
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Remke / Steffen Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00941-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Remke / Haverkort Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31558-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gribaudo / Jansen / Remke Quantitative Evaluation of Systems
17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59853-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
