Mastering Linux Kernel Development: A Kernel Developer's Reference ...
Raghu Bharadwaj
Learning OpenStack Networking
James Denton
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms ...
Giorgio C Buttazzo
Computer Organization and Architecture: Designing for Performance
William Stallings
A Concise Introduction to Logic
Patrick Hurley
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Logic and Discrete Mathematics: A Concise Introduction
Willem Conradie & Valentin Goranko