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