- Introduction to the Theory of Computation 2nd
- Automata, Computability and Complexity: Theory andApplications
- Languages and Machines: An Introduction to the Theory ofComputer Science
- Computability, Complexity, and Languages, Second Edition:Fundamentals of Theoretical Computer Science
- The Elements of Computation 2nd
- Introduction to Automata Theory, Languages, andComputation
- An Introduction to Formal Languages and Automata
- Computational Complexity
计算机组织、设计与实现
- 数字集成电路--设计透视
- 计算机组织与设计硬件/软件接口(第二版、第三版、第四版英文版)
- 计算机体系结构量化研究方法(第二版、第三版、第四版英文版)
- 现代微处理器设计——超标量处理器基础(英文版
- MIPS体系结构透视(英文影印版)(第2版)操作系统设计与实现
BIOS实现技术
- BIOS研发技术剖析
- System BIOS for IBM PCs, Compatibles, and EISA Computers (2ndEdition)
- BIOS Disassembly Ninjutsu Uncovereda
- Beyond BIOS
(2nd Edition)
操作系统设计与实现
- Formal Refinement for Operating System
- Formal Models of Operating System Kernels
- Operating Systems Concepts (6th、7th、8th Edition)
- Modern Operating Systems(2nd、3rd edition)
- Operating Systems Design and Implementation(2nd、3rdEdition)
- The Design of the UNIX Operating System
- UNIX Internals - The New Frontiers
- Linux Kernel Development(2nd、3rd edition)
- Understanding the Linux Kernel (3rd Edition)
- The Linux Kernel Architecture
- Linux内核源代码情景分析(上,下册)
- Linux内核完全剖析
- Linux内核设计的艺术:图解Linux操作系统架构设计与实现原理
- THE LINUX KERNEL PRIMER: A TOP-DOWN APPROACH FOR X86 ANDPOWERPC ARCHITECTURES
- Understanding the Linux Virtual Memory Manager
- The Linux Process Manager
- Linux Device Drivers
- Essential Linux Device Drivers
- Understanding Linux Network Internals
- The Linux® Networking Architecture: Design and Implementationof Network Protocols in the Linux Kernel
- TCP/IP ARCHITECTURE, DESIGN,AND IMPLEMENTATION IN LINUX
- UNIX® Filesystems Evolution, Design,andImplementation
- MICROSOFT WINDOWS INTERNALS(4th、5th Edition)
- Advanced Windows Debugging
-
Undocumented Windows 2000Secrets - Windows内核源代码情景分析
- Windows核心编程
- THE OLD NEW THING: PRACTICAL DEVELOPMENT THROUGHOUT THEEVOLUTION OF WINDOWS
- WINDOWS SYSTEM PROGRAMMING (3RD EDITION)
- PROGRAMMING WINDOWS (FIFTH EDITION)
- PROGRAMMING WINDOWS WITH MFC SECOND EDITION
- 深入浅出MFC(第二版)
虚拟化技术
- The Definitive Guide to the Xen Hypervisor
- Virtual Machines Versatile Platforms for Systems andProcesses
编译器原理、设计与实现
- 编译原理 技术与工具(第一版、第二版英文版)
- 现代编译原理:C语言描述(英文版)
- Compiler Design in C
- Linkers and Loaders
- Assembler and Loaders
- How Debuggers Work
- Lex & Yacc 2ed
- Flex&Bison
- 软件调试
计算机网络与协议
- TCP/IP协议族(第3版英文版)
- 用TCP/IP进行网际互联 (第一,二,三卷)
- 计算机网络(第4版英文版)(美)特南鲍姆(Tanenbaum,A.S.)
- 计算机网络系统方法(英文版·第4版)
- 计算机网络:自顶向下方法与Internet特色(英文第3版)
数据结构与算法设计
- 算法导论(第二、第三英文版)
- Fundamentals of Data Structure in C(2nd Edition)
- The Art of Computer Programming
计算机编程语言
- The C Programming Language Second edition
- The C++ Programming Language Third Special Edition
- C++ Primer(3rd、4th Edition)
- C++ Object Model
- Core Java(7th、8th Edition)
常见课程资源网站
- http://realcourse.grids.cn/--中国大学视频课程网站
- http://www.microsoft.com/china/technet--微软技术网络广播
- http://watch.mit.edu/--麻省理工学院的开放视频网站
- http://webcast.berkeley.edu/courses.php--加州大学计算机视频课程
- http://www.eecs.umich.edu/courses/eecs370计算机组织与设计课程网站
- http://pdos.csail.mit.edu/6.828/麻省理工的操作系统课程网站
- http://web.mit.edu/6.035/麻省理工的编译器课程实现网站
- http://courses.cs.vt.edu/~cs3204/fall2007/gback/index.html操作系统课程网站
- http://www.xemean.net/menuet/download.htm一个简易图形操作系统内核设计与实现