Suchergebnisse für ""John N. Crossley""




Ähnliche Artikel


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

Types for Proofs and Programs
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Paul Callaghan / Zhaohui Luo / James McKinna / Robert Pollack (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6

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

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

Types for Proofs and Programs
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dybjer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9

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

Types for Proofs and Programs
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Berardi
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
1996.
2. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61780-8

Proofs and Algorithms
26,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gilles Dowek
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Introduction to Logic and Computability
2011 edition
14. Januar 2011
Springer / Springer London / Springer, Berlin
12833764,978-0-85729-120-2

The Collected Works of J. Richard Büchi
40,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



Ähnlichkeitssuche: Fact®Finder von OMIKRON