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




Ähnliche Artikel


The Pillars of Computation Theory
38,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

Theorem Proving with the Real Numbers
76,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
John Harrison
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20. November 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1593-9

Adapting Proofs-as-Programs
113,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

Logic and Complexity
123,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Richard Lassaigne
Michel de Rougemont
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st edition 2004
8. Oktober 2012
Springer / Springer London / Springer, Berlin
978-1-4471-1052-1

Logic and Complexity
159,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

The P=np Question and Gödel's Lost Letter
76,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

Abstraction, Refinement and Proof for Probabilistic Systems
113,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

Discrete Mathematics Using a Computer
66,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

Logics in Computer Science
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Fabio Mogavero
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Study on Extensions of Temporal and Strategic Logics
2013
12. August 2013
Atlantis Press / Springer, Berlin
978-94-91216-94-7

Computable Models
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Raymond Turner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8



Ähnlichkeitssuche: Fact®Finder von OMIKRON