Freek Wiedijk | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003,

Wiedijk, Freek; Maler, Oded; Pnueli, Amir
Springer
2003
Pehmeäkantinen kirja

100,90 €

The Seventeen Provers of the World : Foreword by Dana S. Scott

Wiedijk, Freek
Springer
2006
Pehmeäkantinen kirja

56,10 €

Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002,

Geuvers, Herman; Wiedijk, Freek
Springer
2003
Pehmeäkantinen kirja

51,10 €

Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Con

Autexier, Serge; Campbell, John; Rubio, Julio; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,

Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Springer
2011
Pehmeäkantinen kirja

51,10 €

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Capretta, Venanzio; Krebbers, Robbert; Wiedijk, Freek
Springer
2024
Pehmeäkantinen kirja

130,80 €