|
|

avaa valikko

Julien Schmaltz | Akateeminen Kirjakauppa

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



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
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
Springer
2021
Pehmeäkantinen kirja
Logic Gates, Circuits, Processors, Compilers and Computers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
39,20 €