Ergebnisse filtern
-
- 6
- 3
-
- 1
- 3
- 1
- 1
- 2
- 1
-
- 2
- 3
- 1
- 3
-
- 3
- 3
- 3
-
- 5
- 4
-
- 9
-
- 9
-
- 9
-
Boyer Automated Reasoning
Essays in Honor of Woody Bledsoe1. Auflage 2012Verlag: SpringerISBN: 978-94-010-5542-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Boyer Automated Reasoning
Essays in Honor of Woody BledsoeErscheinungsjahr 2012Verlag: Springer NetherlandISBN: 978-94-011-3488-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Quaife Automated Development of Fundamental Mathematical Theories
1993Verlag: Springer NetherlandsISBN: 978-0-7923-2021-0Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moore Piton
A Mechanically Verified Assembly-Level LanguageSoftcover Nachdruck of the original 1. Auflage 1996Verlag: Springer NetherlandsISBN: 978-94-017-3791-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moore Piton
A Mechanically Verified Assembly-Level LanguageErscheinungsjahr 2007Verlag: Springer NetherlandISBN: 978-0-585-33654-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Stachniak Resolution Proof Systems
An Algebraic TheoryErscheinungsjahr 2012Verlag: Springer NetherlandISBN: 978-94-009-1677-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Stachniak Resolution Proof Systems
An Algebraic Theory1996Verlag: Springer NetherlandsISBN: 978-0-7923-4017-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stachniak Resolution Proof Systems
An Algebraic Theory1. Auflage 2011Verlag: SpringerISBN: 978-94-010-7251-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moore Piton
A Mechanically Verified Assembly-Level Language1996. Auflage 1996Verlag: SpringerISBN: 978-0-7923-3920-5Medium: Buch96,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
