![The Collected Works of J. Richard Büchi The Collected Works of J. Richard Büchi](https://bilder.buecher.de/produkte/36/36119/36119481m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1990
10. November 2011
Springer / Springer New York / Springer, Berlin
978-1-4613-8930-9
eBook, PDF | 40,95 € |
![Finite Automata, Their Algebras and Grammars Finite Automata, Their Algebras and Grammars](https://bilder.buecher.de/produkte/36/36113/36113257m.jpg)
Broschiertes Buch
Towards a Theory of Formal Expressions
Softcover reprint of the original 1st ed. 1989
29. Juni 2012
Springer / Springer New York / Springer, Berlin
978-1-4613-8855-5
eBook, PDF | 73,95 € |
![Finite Automata, Their Algebras and Grammars (eBook, PDF) Finite Automata, Their Algebras and Grammars (eBook, PDF)](https://bilder.buecher.de/produkte/44/44173/44173236m.jpg)
![The Collected Works of J. Richard Büchi (eBook, PDF) The Collected Works of J. Richard Büchi (eBook, PDF)](https://bilder.buecher.de/produkte/44/44063/44063004m.jpg)
Ähnliche Artikel
![The Pillars of Computation Theory The Pillars of Computation Theory](https://bilder.buecher.de/produkte/23/23838/23838770m.jpg)
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4
![Logic and Complexity Logic and Complexity](https://bilder.buecher.de/produkte/36/36936/36936052m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1
![Logic and Complexity Logic and Complexity](https://bilder.buecher.de/produkte/12/12302/12302202m.jpg)
Gebundenes Buch
2004 edition
20. Januar 2004
Springer / Springer London / Springer, Berlin
978-1-85233-565-6
![Adapting Proofs-as-Programs Adapting Proofs-as-Programs](https://bilder.buecher.de/produkte/32/32216/32216636m.jpg)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0
![Theorem Proving with the Real Numbers Theorem Proving with the Real Numbers](https://bilder.buecher.de/produkte/36/36118/36118843m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1998
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9
![The P=np Question and Gödel's Lost Letter The P=np Question and Gödel's Lost Letter](https://bilder.buecher.de/produkte/30/30371/30371575m.jpg)
Gebundenes Buch
2010 edition
1. September 2010
Springer / Springer US / Springer, Berlin
12683161,978-1-4419-7154-8
![Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer](https://bilder.buecher.de/produkte/15/15187/15187291m.jpg)
Broschiertes Buch
2. Aufl.
14. August 2006
Springer / Springer London / Springer, Berlin
11011002,978-1-84628-241-6
![Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems](https://bilder.buecher.de/produkte/32/32220/32220323m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
![Descriptive Complexity Descriptive Complexity](https://bilder.buecher.de/produkte/07/07891/07891512m.jpg)
Gebundenes Buch
1998.
20. November 1998
Springer / Springer New York / Springer, Berlin
978-0-387-98600-5
![Set Theory for Computing Set Theory for Computing](https://bilder.buecher.de/produkte/32/32216/32216301m.jpg)
Broschiertes Buch
From Decision Procedures to Declarative Programming with Sets
Softcover reprint of the original 1st ed. 2001
21. September 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2905-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON