Actors: A Model of Concurrent Computation in Distributed Systems (The Mit Pr...

Embedded Systems Design by Heath, Steve

Embedded Systems: World Class Designs by Jack Ganssle: Used

Design-For-Test for Digital Ic's & Embedded Core Systems by Alfred L. Crouch

Scientific and Technical Computation: The Art of Modeling Dynamic Systems :...

Theory of Computation: Formal Languages, Automata, and Complexity

Understanding Computation: From Simple Machines to Impossible Programs

The Calculus of Computation by Aaron R. R. Bradley and 1 more