STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Julien Schmaltz | lit.salon
Julien Schmaltz
No bio available.
Add one in Open Library.
Books by Julien Schmaltz (50 max)
+ shelf
+ list
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
2011
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
+ shelf
+ list
Logical Gates, Circuits, Processors, Compilers and Computers
2021
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
