Suchergebnisse für ""J. Richard Büchi""




Ähnliche Artikel


The Pillars of Computation Theory
39,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Arnold L. Rosenberg
  (Aktuell noch keine Bewertungen)
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
129,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Richard Lassaigne
Michel de Rougemont
  (Aktuell noch keine Bewertungen)
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
184,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Richard Lassaigne
Michel de Rougemont
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2004 edition
20. Januar 2004
Springer / Springer London / Springer, Berlin
978-1-85233-565-6

Adapting Proofs-as-Programs
116,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
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
77,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
John Harrison
  (Aktuell noch keine Bewertungen)
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
77,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Richard J. Lipton
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2010 edition
1. September 2010
Springer / Springer US / Springer, Berlin
12683161,978-1-4419-7154-8

Discrete Mathematics Using a Computer
78,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
John O'Donnell
Cordelia Hall
Rex Page
  (Aktuell noch keine Bewertungen)
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
116,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Annabelle McIver
Charles Carroll Morgan
  (Aktuell noch keine Bewertungen)
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
140,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Neil Immerman
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1998.
20. November 1998
Springer / Springer New York / Springer, Berlin
978-0-387-98600-5

Set Theory for Computing
121,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Domenico Cantone
Eugenio Omodeo
Alberto Policriti
  (Aktuell noch keine Bewertungen)
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