Ergebnisse filtern
-
- 35
- 3
-
- 28
- 2
- 8
-
- 9
- 29
-
- 38
-
- 38
-
- 38
-
Bini / Pan Polynomial and Matrix Computations
Fundamental Algorithms1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6686-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prehofer Solving Higher-Order Equations
From Logic to Programming1. Auflage 1997Verlag: BirkhäuserISBN: 978-0-8176-4032-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ko Complexity Theory of Real Functions
Erscheinungsjahr 2012Verlag: BirkhäuserISBN: 978-1-4684-6804-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bini / Pan Polynomial and Matrix Computations
Fundamental Algorithms1. Auflage 1994Verlag: BirkhäuserISBN: 978-0-8176-3786-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Breughel Comparative Metric Semantics of Programming Languages
Nondeterminism and Recursion1998Verlag: Birkhäuser BostonISBN: 978-1-4612-8680-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bradfield Verifying Temporal Properties of Systems
Erscheinungsjahr 2012Verlag: BirkhäuserISBN: 978-1-4684-6821-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Streicher Semantics of Type Theory
Correctness, Completeness and Independence Results1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6757-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kobler / Schöning / Toran The Graph Isomorphism Problem
Its Structural Complexity1. Auflage 1993Verlag: BirkhäuserISBN: 978-0-8176-3680-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bachmair Canonical Equational Proofs
Erscheinungsjahr 1991Verlag: BirkhäuserISBN: 978-0-8176-3555-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sinclair Algorithms for Random Generation and Counting: A Markov Chain Approach
1. Auflage 1993Verlag: BirkhäuserISBN: 978-0-8176-3658-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kobler / Schöning / Toran The Graph Isomorphism Problem
Its Structural Complexity1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6712-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
O'Hearn / Tennent Algol-like Languages
1. Auflage 2011Verlag: BirkhäuserISBN: 978-1-4612-8661-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6704-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort