Freek Wiedijk – författare
Visar alla böcker från författaren Freek Wiedijk.
6 produkter
6 produkter
Del 14560 - Lecture Notes in Computer Science
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Häftad, Engelska, 2024
1 789 kr
Skickas inom 10-15 vardagar
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Häftad, Engelska, 2003
1 419 kr
Skickas inom 10-15 vardagar
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Häftad, Engelska, 2003
699 kr
Skickas inom 10-15 vardagar
759 kr
Skickas inom 10-15 vardagar
Intelligent Computer Mathematics
9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
Häftad, Engelska, 2008
719 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar