Suchergebnisse für ""Davide Sangiorgi""




Ähnliche Artikel


Algebra and Coalgebra in Computer Science
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-03740-5

Introduction to the Formal Design of Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
David Gray
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1999.
1. November 1998
Springer / Springer London / Springer, Berlin
978-3-540-76140-2

Processes, Terms and Cycles: Steps on the Road to Infinity
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Aart Middeldorp / Vincent van Oostrom / Femke van Raamsdonk / Roel de Vrijer (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
2005
13. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11601548,978-3-540-30911-6

Verification and Control of Hybrid Systems
152,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Paulo Tabuada
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Symbolic Approach
2009 edition
15. Juni 2009
Springer / Springer US / Springer, Berlin
12613465,978-1-4419-0223-8

International Compendium of Numerical Data Projects
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Survey and Analysis
Reprint of the original 1st ed. 1969
20. Juni 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-87120-7

Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques
238,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Evangelos Triantaphyllou / Giovanni Felici (eds.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2006 edition
21. Juni 2006
Springer / Springer US / Springer, Berlin
11367550,978-0-387-34294-8

Mathematische Grundlagen für die Informatik
34,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Kurt-Ulrich Witt
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Mengen, Logik, Rekursion
August 2013
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin

Automatische Synthese rekursiver Programme als Beweisverfahren
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Susanne Biundo
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1992.
8. April 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55300-7

CONCUR 2008 - Concurrency Theory
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
2008
30. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-85360-2

Algebraic Methodology and Software Technology
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Johnson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
1997.
1. Dezember 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10652702,978-3-540-63888-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON