علم الحاسوب
Automation and Computer Engineering
operating-systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseauProgramming Language Pragmatics
Michael ScottTypes and programming-languages
Benjamin C. PierceThe Lambda Calculus: Its Syntax and Semantics: v. 103
H.P. BarendregtStructure and Interpretation of Computer Programs, second edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman