My favorite C book is C: A Reference Manual by Harbison & Steele. It's not quite what you're looking for (it's exactly what it says it is: a reference manual), but it will make an awesome companion to ...
The best systems programming books focus on both theory and hands-on practice, making tough topics easier to grasp. They ...