Ergebnisse filtern
-
- 3
- 1
-
- 1
- 1
- 2
-
- 4
- 1
- 1
- 1
- 2
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
-
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-24310-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)63,06 € (inkl. MwSt.)
sofort verfügbar -
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
2011Verlag: SpringerISBN: 978-3-642-24309-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Winter / Jipsen Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26¿29, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43519-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Winter / Gehrke Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2¿5, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88700-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort