Ergebnisse filtern
-
- 96
- 22
-
- 97
- 1
- 10
- 1
- 7
- 1
- 1
-
- 1
- 61
- 56
-
- 118
-
- 118
-
- 118
-
Feijen / Gasteren / Gries Beauty Is Our Business
A Birthday Salute to Edsger W. DijkstraErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-4476-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar -
Abadi / Cardelli A Theory of Objects
1996Verlag: SpringerISBN: 978-0-387-94775-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Partsch Specification and Transformation of Programs
A Formal Approach to Software Development1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52356-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feijen / Gasteren / Gries Beauty Is Our Business
A Birthday Salute to Edsger W. Dijkstra1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97299-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abadi / Cardelli A Theory of Objects
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-6445-3Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Poernomo / Crossley / Wirsing Adapting Proofs-as-Programs
The Curry--Howard Protocol1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2014-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dijkstra / Scholten Predicate Calculus and Program Semantics
1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-7924-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Waite / Goos Compiler Construction
1. Auflage 1984. Corr. 2. printing 1985Verlag: Springer-Verlag New York Inc.ISBN: 978-0-387-90821-2Medium: Buch85,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Waite / Goos Compiler Construction
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4612-9731-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tonella / Potrich Reverse Engineering of Object Oriented Code
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2325-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alexander Adaptive Signal Processing
Theory and Applications1. Auflage 2011Verlag: SpringerISBN: 978-1-4612-9382-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reps / Teitelbaum The Synthesizer Generator Reference Manual
Third Auflage 1989Verlag: SpringerISBN: 978-0-387-96910-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Downey / Fellows Parameterized Complexity
1. Auflage 1998Verlag: SpringerISBN: 978-0-387-94883-6Medium: Buch267,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mclver / Morgan Programming Methodology
Erscheinungsjahr 2002Verlag: SpringerISBN: 978-0-387-95349-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy / Stølen Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement2001. Auflage 2001Verlag: SpringerISBN: 978-0-387-95073-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Apt / Olderog Verification of Sequential and Concurrent Programs
Erscheinungsjahr 2013Verlag: Springer USISBN: 978-1-4757-4376-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Lang Complex Analysis
3rd Auflage 1993. Corr. 3rd printingVerlag: SpringerISBN: 978-3-540-78059-5Medium: Buch21,35 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Downey / Fellows Parameterized Complexity
1. Auflage 2012Verlag: SpringerISBN: 978-1-4612-6798-0Medium: Buch267,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