Suchergebnisse für "Neil Immerman"




Ähnliche Artikel


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

Complexity and Real Computation
60,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Lenore Blum
Felipe Cucker
Michael Shub
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1997
30. Oktober 1997
Springer / Springer New York / Springer, Berlin
978-0-387-98281-6

Adapting Proofs-As-Programs
180,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

The Collected Works of J. Richard Büchi
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
J. Richard Büchi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1990
10. November 2011
Springer / Springer New York / Springer, Berlin
978-1-4613-8930-9

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

Software Reliability Methods
59,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Doron A. Peled
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2001 edition
26. Juni 2001
Springer / Springer New York / Springer, Berlin
978-0-387-95106-5

Handbook of Logic and Proof Techniques for Computer Science
58,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

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

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



Ähnlichkeitssuche: Fact®Finder von OMIKRON