Ergebnisse filtern
-
- 5
-
- 1
- 2
- 1
- 1
-
- 1
- 3
- 5
- 1
- 1
-
- 4
- 1
-
- 5
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Strichman / Kroening Decision Procedures
An Algorithmic Point of View2. Auflage 2016Verlag: SpringerISBN: 978-3-662-50496-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kroening / Strichman Decision Procedures
An Algorithmic Point of View1. Auflage 2008Verlag: SpringerISBN: 978-3-540-74104-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Kroening Decision Procedures
An Algorithmic Point of ViewSoftcover Nachdruck of the original 2. Auflage 2016Verlag: SpringerISBN: 978-3-662-57065-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tzoref-Brill / Strichman Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-70388-6Medium: 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
