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




Ähnliche Artikel


The Pillars of Computation Theory
37,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
123,99 €
Versandfertig in über 4 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

Theorem Proving with the Real Numbers
74,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

Adapting Proofs-As-Programs
184,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6

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

Handbook of Logic and Proof Techniques for Computer Science
57,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Steven G. Krantz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2002
17. Januar 2002
Springer, Basel

Theoretical Computer Science
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Carlo Blundo / Cosimo Laneve (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
2003
29. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20216-5

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
S. Arun-Kumar / Naveen Garg (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
2006
27. November 2006
Springer, Berlin
11944836



Ähnlichkeitssuche: Fact®Finder von OMIKRON