Herausgegeben von: Freek Wiedijk
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Freek Wiedijk.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
-23.9 %
CHF 102.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Intelligent Computer Mathematics
9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 200
-16.7 %
CHF 57.50
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
-17.1 %
CHF 58.–
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
-16.7 %
CHF 57.50