Book list

Just a personal, incomplete collection of book names ;) Mathematics

  • Mathematical Logic (by Ebbinghaus)
  • Introduction to Mathematical Logic (by Wolfgang Rautenberg)
  • Category Theory (by Steve Awodey)
  • Conceptual Mathematics
  • Linear Algebra & its applications
  • Graph Theory With Application
  • Abstract Algebra Theory and Applications
  • Proof Thoery (by Samuel R. Buss) CS

Algorithms and Data Structures

  • Introduction to Algorithms
  • Algorithm Design Manual
  • Algorithms: a functional programming approach
  • Pearls of Functional Algorithm Design
  • Purely Functional Data Structure Compilers
  • Compilers: Principles, Techniques, and Tools
  • Implementation of Functional Programming Languages Parallel Computing
  • Programming Massively Parallel Processors Haskell
  • Learn you a Haskell for Great Good
  • Parallel and Concurrent Programming in Haskell
  • Real World Haskell C++
  • C++ Primer
  • Effective C++
  • Modern C++ Design Python
  • Learning Python
  • Python 源码解析 (in Chinese) OCaml
  • Real World OCaml Java
  • Java in a Nutshell Rust
  • The Official Rust Book
  • Rust for C Programmer
  • Rust by Example Programming Languages Theory
  • Concepts of Programming Languages
  • Types and Programming Languages
  • Advanced Topics in Types and Programming Languages
  • Semantics with application
  • Practical Foundations for Programming Languages Verification
  • Coq'Art
  • Software Foundations
  • Certified Programming with Dependent Types
  • Program Logics for Certified Compilers Security
  • A Bug Hunter's Diary
  • Hacking: The Art of Exploitation Static Analysis
  • Principles of Program Analysis Systems
  • Computer System: A Programmer's Perspective
  • Introduction to Computing Systems: From bits & gates to C & beyond
  • The Garbage Collection Handbook
  • Assemblers and Loaders
  • Virtual Machines: Versatile Platform for Systems and Processes
  • Advanced Programming in the UNIX Environment Concurrency
  • The Art of Multi-processor Programming CS Uncategorized
  • Structure and Interpretation of Computer Programs
  • Distributed Computing Principles, Algorithms, and Systems
  • Data Science From Scratch
  • Learning GNU Emacs
  • The Not So Short Introduction to LATEX2ε
  • CJKV Information Processing
  • Learning IPython for Interactive Computing and Data Visualization
  • The Art of Debugging with GDB, DDD and Eclipse
  • Computer Networking: A Top-Down Approach
  • Modern Operating System
  • Software Engineering (by Ian Sommerville) Uncategorized
  • PhD-Grind
  • 上海交通大学学生生存手册 (a.k.a. Survives SJTU) (in Chinese)
  • Economics: The User's Guide
  • 歐文字體1:基礎知識與活用方法(小林章)