Computer Science

Automation and Computer Engineering

operating-systems: Three Easy Pieces

Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseau

Operating SystemsComputer Science

Programming Language Pragmatics

Michael Scott

Programming LanguagesComputer Science

Types and programming-languages

Benjamin C. Pierce

Programming LanguagesType SystemsComputer Science

The Lambda Calculus: Its Syntax and Semantics: v. 103

H.P. Barendregt

Computer ScienceMathematical LogicMathematicsFunctional Programming

Structure and Interpretation of Computer Programs, second edition

Harold Abelson, Gerald Jay Sussman, Julie Sussman

Computer ScienceProgramming Languages

Art of Computer Programming

Donald Knuth

Computer ScienceSoftware EngineeringAlgorithms