Author: Julien Schmaltz

Support

2 Ebooks by Julien Schmaltz

Marko Van Eekelen & Herman Geuvers: Interactive Theorem Proving
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised fu …
PDF
English
DRM
€57.94
Jan Friso Groote & Rolf Morel: Logic Gates, Circuits, Processors, Compilers and Computers
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. I …
PDF
English
DRM
€38.50