Julien Schmaltz
- Auteur
Boeken van Julien Schmaltz
Jan Friso Groote
Rolf Morel
Julien Schmaltz
Adam Watkins
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.
Meer
Marko Van Eekelen
Herman Geuvers
Julien Schmaltz
Freek Wiedijk
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.
Meer
