Suchergebnisse für ""Gordon J. Pace""




Ähnliche Artikel


Logic, Mathematics, and Computer Science
36,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Yves Nievergelt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Modern Foundations with Practical Applications
2. Aufl.
14. Oktober 2015
Springer / Springer New York / Springer, Berlin
978-1-4939-3713-4

Decision Procedures
55,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Daniel Kroening
Ofer Strichman
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
An Algorithmic Point of View
2. Aufl.
27. Januar 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-50496-3

The Correctness-by-Construction Approach to Programming
63,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Derrick G. Kourie
Bruce W. Watson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2012
9. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44854-6

People, Problems, and Proofs
33,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Richard J. Lipton
Kenneth W. Regan
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Essays from Gödel's Lost Letter: 2010
2013
27. Dezember 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
86155745,978-3-642-41421-3

Foundations of Software Science and Computation Structures
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
1st ed. 2017
16. März 2017
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-54457-0

People, Problems, and Proofs
33,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Richard J. Lipton
Kenneth W. Regan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays from Gödel's Lost Letter: 2010
Softcover reprint of the original 1st ed. 2013
23. August 2016
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-52301-8

Open Problems in Mathematics and Computational Science
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2014
8. April 2015
Springer / Springer International Publishing / Springer, Berlin
86379291,978-3-319-10682-3

Mathematical Foundations of Advanced Informatics
25,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Bernhard Steffen
Oliver Rüthing
Michael Huth
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Volume 1: Inductive Approaches
1st ed. 2018
3. April 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-68396-6

Open Problems in Mathematics and Computational Science
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2014
6. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-36497-1

Logic, Language, Information, and Computation
30,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
2015
7. Juli 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-47708-3



Ähnlichkeitssuche: Fact®Finder von OMIKRON