|
|

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, Proce
Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce
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 Nature Switzerland AG
2021
Pehmeäkantinen kirja
Logic Gates, Circuits, Processors, Compilers and Computers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
39,20 €