Mathematical Logic for Computer Science
Mordechai Ben-Ari
Seven Concurrency Models in Seven Weeks: When Threads Unravel
Paul Butcher
The Definitive Guide to ARM® Cortex®-M3 and Cortex®-M4 Processors
Joseph Yiu
Java: The Complete Reference, Ninth Edition
Herbert Schildt
RHSA I
Susan Lauber, Philip Sweany , Rudolf Kastl, George Hacker
Red Hat System Administration (1)