Ergebnisse filtern
-
- 94
- 73
-
- 1
- 97
- 2
- 1
- 64
- 1
- 1
-
- 1
- 105
- 61
-
- 167
-
- 167
-
- 167
-
Nielson ML with Concurrency
Design, Analysis, Implementation, and Application1997Verlag: Springer USISBN: 978-1-4612-2274-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Nielson ML with Concurrency
Design, Analysis, Implementation, and ApplicationSoftcover Nachdruck of the original 1. Auflage 1997Verlag: SpringerISBN: 978-1-4612-7483-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benosman / Kang Panoramic Vision
Sensors, Theory, and ApplicationsSoftcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-1-4419-2880-1Medium: Buch117,69 € (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 -
Snepscheut What Computing Is All About
Softcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-1-4612-7639-5Medium: Buch85,55 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 / Policriti / Omodeo Set Theory for Computing
From Decision Procedures to Declarative Programming with SetsSoftcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-1-4419-2905-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen The Design and Analysis of Algorithms
1992Verlag: 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
1992Verlag: SpringerISBN: 978-0-387-97687-7Medium: Buch106,99 € (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 -
Book / Otto String-Rewriting Systems
1993Verlag: Springer USISBN: 978-1-4613-9771-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Brzozowski / Seger Asynchronous Circuits
1995Verlag: 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 -
Schneider / Gries A Logical Approach to Discrete Math
1. Auflage. Softcover version of original hardcover Auflage 1993Verlag: SpringerISBN: 978-1-4419-2835-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries Programming Methodology
A Collection of Articles by Members of IFIP WG2.31978Verlag: Springer USISBN: 978-1-4612-6315-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Book / Otto String-Rewriting Systems
Softcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-1-4613-9773-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Shore Logic for Applications
1993Verlag: Springer USISBN: 978-1-4684-0211-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark82,38 € (inkl. MwSt.)
sofort verfügbar -
Manes / Arbib Algebraic Approaches to Program Semantics
1986Verlag: Springer USISBN: 978-1-4612-4962-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark93,08 € (inkl. MwSt.)
sofort verfügbar -
Benosman / Kang Panoramic Vision
Sensors, Theory, and Applications2001Verlag: Springer USISBN: 978-1-4757-3482-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar -
Misra A Discipline of Multiprogramming
Programming Theory for Distributed Applications2001Verlag: 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 -
Downey / Fellows Parameterized Complexity
1999Verlag: Springer USISBN: 978-1-4612-0515-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark255,73 € (inkl. MwSt.)
sofort verfügbar -
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 -
Guttag / Horning Larch: Languages and Tools for Formal Specification
1993Verlag: Springer USISBN: 978-1-4612-2704-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Reps / Teitelbaum The Synthesizer Generator Reference Manual
3rd Auflage 1989Verlag: Springer USISBN: 978-1-4613-9633-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort