计算机科学
自动化技术、计算机技术
operating-systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseau
Programming Language Pragmatics
Michael Scott
Types and programming-languages
Benjamin C. Pierce
Structure and Interpretation of Computer Programs, second edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman
Art of Computer Programming
Donald Knuth
