Ergebnisse filtern
-
- 22
-
- 21
- 1
-
- 5
- 17
-
- 22
-
- 22
-
- 22
Logik, formale Sprachen, Automaten
-
Burgin Super-Recursive Algorithms
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-3060-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Burgin Super-Recursive Algorithms
Erscheinungsjahr 2004Verlag: SpringerISBN: 978-0-387-95569-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2312-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Randell The Origins of Digital Computers
Selected PapersThird Auflage 1982Verlag: SpringerISBN: 978-3-540-11319-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
2005. Auflage 2004Verlag: SpringerISBN: 978-0-387-40115-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Preparata / Shamos Computational Geometry
An Introduction1985Verlag: SpringerISBN: 978-0-387-96131-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bhanu / Lin / Krawiec Evolutionary Synthesis of Pattern Recognition Systems
2005. Auflage 2005Verlag: SpringerISBN: 978-0-387-21295-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bhanu / Lin / Krawiec Evolutionary Synthesis of Pattern Recognition Systems
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-1943-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries / Schneider A Logical Approach to Discrete Math
1. Auflage 1993Verlag: SpringerISBN: 978-0-387-94115-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen The Design and Analysis of Algorithms
1. Auflage 1991Verlag: SpringerISBN: 978-0-387-97687-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gries / Schneider 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 -
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 -
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 -
Bauer / Wössner Algorithmic Language and Program Development
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11148-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Syropoulos Hypercomputation: Computing Beyond the Church-Turing Barrier
2008Verlag: SPRINGER NATUREISBN: 978-0-387-30886-9Medium: Buch110,50 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Cantone / Omodeo / Policriti Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets1. Auflage 2011Verlag: SpringerISBN: 978-1-4419-2905-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brzozowski / Seger Asynchronous Circuits
1. Auflage 1995Verlag: SpringerISBN: 978-0-387-94420-3Medium: Buch160,49 € (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 -
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 -
Downey / Fellows Parameterized Complexity
1. Auflage 1998Verlag: SpringerISBN: 978-0-387-94883-6Medium: Buch267,49 € (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. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort