I second the Elements of Computing Systems course ( http://www1.idc.ac.il/tecs/ )

There are a few complete chapters available on the website, and after completing the first, I decided to purchase the book. I will be writing up a summary of the course on my blog after I finish, but from what I've read so far, I recommend it.