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




Ähnliche Artikel


Logic, Mathematics, and Computer Science
39,99 €
Versandfertig in 1-2 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

Conditionals and Modularity in General Logics
75,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Dov M. Gabbay
Karl Schlechta
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2011
27. November 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-27065-9

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

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

Pristine Perspectives on Logic, Language and Computation
36,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
2014
14. Juli 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
86375291,978-3-662-44115-2

Turing Computability
59,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Robert I. Soare
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Theory and Applications
1st ed.
28. Juni 2016
Springer / Springer Berlin Heidelberg / Springer, Berlin
86084625,978-3-642-31932-7

Transactions on Computational Science XXVII
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1st ed. 2016
15. April 2016
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-50411-6

Petri Net Synthesis
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Eric Badouel
Luca Bernardinello
Philippe Darondeau
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1st ed. 2015
11. November 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-47966-7

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

Mathematical Software -- ICMS 2014
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
2014
15. Juli 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
86375856,978-3-662-44198-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON