Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 2
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
Jens Knoop
-
Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Knoop / Karl / Pionteck Architecture of Computing Systems - ARCS 2017
30th International Conference, Vienna, Austria, April 3¿6, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-54998-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Knoop Compiler Construction
2011Verlag: SpringerISBN: 978-3-642-19860-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Knoop Optimal Interprocedural Program Optimization
A New Framework and Its Application1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65123-9Medium: 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