Liebe Besucherinnen und Besucher,
heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien
Ergebnisse filtern
-
- 5
-
- 3
- 1
- 1
-
- 4
- 1
-
- 5
-
- 5
-
- 5
-
- 5
Programmierung | Softwareentwicklung
-
Tribastone / Jansen Quantitative Evaluation of Systems
20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43834-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Stoelinga / van den Bos A Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15628-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75782-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75774-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75777-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
