- SSA-based Compiler Design
- 指令集架构
- Hardware and Software Support for Virtualization
- QEMU KVM源码解析与应用
- 穿越操作系统迷雾
- Practical Binary Analysis
- Computer Architecture Tutorial Using an FPGA
- Turing Complete游戏
- Boole代数
- Models of Computation Exploring the Power of Computing
- Computational Complexity A Modern Approach
- Introducing Design Automation for Quantum Computing
- Electronic Design Automation Synthesis, Verification, and Test
- Computer Architecture Complexity and Correctness
- Handbook of Floating-Point Arithmetic