Ergebnisse filtern
-
- 94
- 72
-
- 97
- 3
- 1
- 63
- 1
- 1
-
- 1
- 104
- 61
-
- 166
-
- 165
- 1
-
- 166
-
Gries / Schneider A Logical Approach to Discrete Math
3rd AuflageVerlag: SpringerISBN: 978-0-387-94115-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries Programming Methodology
A Collection of Articles by Members of IFIP WG2.3Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-6315-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kozen The Design and Analysis of Algorithms
1992Verlag: SpringerISBN: 978-0-387-97687-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen The Design and Analysis of Algorithms
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-4400-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Kozen The Design and Analysis of Algorithms
Softcover Nachdruck of the original 1. Auflage 1992Verlag: SpringerISBN: 978-1-4612-8757-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cantone / Omodeo / Policriti Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets2001. Auflage 2001Verlag: SpringerISBN: 978-0-387-95197-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries Programming Methodology
A Collection of Articles by Members of IFIP WG2.3Softcover Nachdruck of the original 1. Auflage 1978Verlag: SpringerISBN: 978-1-4612-6317-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Poernomo / Wirsing / Crossley 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 -
Nerode / Shore Logic for Applications
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4684-0211-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Selig Geometric Fundamentals of Robotics
2. 2005 Auflage 2004Verlag: SpringerISBN: 978-0-387-20874-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Book / Otto String-Rewriting Systems
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4613-9771-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Brzozowski / Seger Asynchronous Circuits
1995Verlag: SpringerISBN: 978-0-387-94420-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Selig Geometric Fundamentals of Robotics
2. Auflage Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-1929-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brzozowski / Seger Asynchronous Circuits
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-4210-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Brzozowski / Seger Asynchronous Circuits
Softcover Nachdruck of the original 1. Auflage 1995Verlag: SpringerISBN: 978-1-4612-8698-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Misra A Discipline of Multiprogramming
Programming Theory for Distributed ApplicationsErscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4419-8528-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Poernomo / Crossley / Wirsing Adapting Proofs-As-Programs
The Curry--Howard Protocol2005. Auflage 2005Verlag: SpringerISBN: 978-0-387-23759-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Potrich / Tonella 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 -
Fellows / Downey Parameterized Complexity
Softcover Nachdruck of the original 1. Auflage 1999Verlag: SpringerISBN: 978-1-4612-6798-0Medium: Buch267,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grune / Jacobs Parsing Techniques
A Practical Guide2. Auflage 2008Verlag: Springer USISBN: 978-0-387-68954-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark223,63 € (inkl. MwSt.)
sofort verfügbar -
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 -
Mclver / Morgan Programming Methodology
Erscheinungsjahr 2012Verlag: Springer USISBN: 978-0-387-21798-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
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. 10 Werktage -
Lang Complex Analysis
3., rd Auflage 1993. Corr. 3rd printing 1997Verlag: SpringerISBN: 978-3-540-78059-5Medium: Buch21,35 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alexander Adaptive Signal Processing
Theory and ApplicationsSoftcover Nachdruck of the original 1. Auflage 1986Verlag: SpringerISBN: 978-1-4612-9382-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort