| ☠ | Бесов. Лекции по математическому анализу |
| ☠ | Иродов. Механика |
| ☠ | Кириченко. Термодинамика, статистика и молекулярная физика |
| ☠ | Беклемишев. Аналитическая геометрия и линейная алгебра |
| ☠ | Sedgewick, Wayne. Algorithms |
| ☠ | Зорич. Математический анализ I |
| Ширяев. Вероятность | |
| Кострикин. Введение в алгебру. Линейная алгебра | |
| Кострикин, Манин. Линейная алгебра и геометрия |
| Lengyel. Mathematics for 3D game programming | |
| Ericson. Real-Time Collision Detection | |
| Gregory. Game Engine Architecture | |
| Hopcroft, Motwani, Ullman. Introduction to Automata Theory, Languages, and Computation | |
| ☠ | Cormen et al. Introduction to Algorithms |
| Berg et al. Computational Geometry | |
| Chen. Computational Geometry | |
| Голованов. Геометрическое моделирование | |
| Crochemore. Jewels of Stringology | |
| Ahuja, Magnanti, Orlin. Network Flows | |
| Kroening, Strichman. Decision Procedures | |
| Appel. Modern Compiler Implementation in ML | |
| Muchnick. Advanced Compiler Design and Implementation | |
| Peyton Jones, Lester. Implementing functional languages | |
| LaValle. Planning Algorithms | |
| ☠ | Herlihy, Shavit. The Art of Multiprocessor Programming |
| Salomon. Assemblers and Loaders | |
| ☠ | Levine. Linkers & Loaders |
| Sedra, Smith. Microelectronic Circuits | |
| ☠ | Gazet et al. Practical Reverse Engineering |
| Ligh et al. The Art of Memory Forensics | |
| Kurose, Ross. Computer Networking | |
| Russinovich et al. Windows Internals | |
| Kerrisk. The Linux Programming Interface | |
| ☠ | Build an 8-bit computer from scratch |
| Thompson. Type Theory & Functional Programming | |
| Appel. Program Logics for Certified Compilers | |
| Nederpelt, Geuvers. Type Theory and Formal Proof | |
| Pierce. Types and Programming Languages | |
| Pierce. Advanced Topics in Types and Programming Languages | |
| Bar, Wells. Category Theory For Computing Science | |
| Pierce. Basic Category Theory for Computer Scientists | |
| Mac Lane. Categories for the Working Mathematician | |
| Blackburn. Handbook of Modal Logic | |
| Girard. Proofs and Types | |
| Harper. Practical Foundations for Programming Languages | |
| Harper. Type Systems for Programming Languages | |
| Lambek, Scott. Introduction to Higher Order Categorical Logic | |
| Mitchell. Foundations for Programming Languages | |
| Nielson. Semantics with Applications | |
| Nordstrom. Programming in Martin-Löf's Type Theory | |
| Voevodsky et al. Homotopy Type Theory | |
| Norell. Towards a practical programming language based on dependent type theory | |
| Armstrong. Making reliable distributed systems in the presence of software errors | |
| Jacobs. Introduction to Coalgebra |
| Norell, Chapman. Dependently Typed Programming in Agda | |
| Bertot, Casteran. Interactive Theorem Proving and Program Development | |
| Pierce et al. Logical Foundations | |
| Pierce et al. Programming Language Foundations | |
| Appel. Verified Functional Algorithms | |
| The F* Team. Verified programming in F* | |
| Xi. Introduction to Programming in ATS | |
| Xi. A Tutorial on Programming Features in ATS | |
| Lamport. Specifying Systems | |
| Certified Programming with Dependent Types | |
| Wayne. Practical TLA+ | |
| Harrop. OCaml for Scientists |
| Bird. Pearls of Functional Algorithm Design | |
| Okasaki. Purely Functional Data Structures | |
| Functional pearls | |
| Data structures | |
| Domain specific languages |
| Vandevoorde, Josuttis, Gregor. C++ Templates | |
| Alexandrescu. Modern C++ Design | |
| Abrahams, Gurtovoy. Template metaprogramming | |
| Karlsson. Beyond the C++ Standard Library | |
| ☠ | Stroustrup. The C++ Programming Language |
| Williams. C++ Concurrency in Action |
| ☠ | Kandel et al. Principles of Neural Science |
| Carroll, Ostlie. An Introduction to Modern Astrophysics | |
| Beck, Freeman, Davis. Cognitive therapy of personality disorders |
| ☠ | Гордин. Геометрия |
| ☠ | Борис Трушин |
| Chacon, Straub. Pro Git |
☠ = influenced me in some way