Introduction to the Theory of Computation by Sipser.
Programming Language Pragmatics by Michael L Scott.
Compilers: Principles, Techniques, and Tools by Aho et al.
Concepts, Techniques, and Models of Computer Programming by Van Roy.
Intro to Computing Systems by Yale Patt & Sanjay Patel.
Computer Systems: A Programmer's Perspective by Randal Bryant & David O'Hallaron.
Think of how CS students are going to approach these. They'll watch lectures, skim the text, and do exercises. Few students would sit down and read these like a fiction novel, and if they do, they follow it with exercises because reading retention was low. So I'd do some google searches with "site:.edu" and find powerpoints and homeworks to follow from courses that use these books.
You mentioned and more about the books recommended to you, what are some of the others?