计算机组成与设计 硬件/软件接口 书名原文：COMPUTER ORGANIZATION AND DESIGN
THE HARDWARE/SOFTWARE INTERFACE2013 年出版888 页ISBN：
The Analusis and Design of Computer-Based Information Systems
1985 年出版399 页ISBN：0395357071
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
COMPUTER SCIENCE A BREADTH-FIRST APPROACH WITH PASCAL
1995 年出版730 页ISBN：0471311987
Computer science illuminated = 计算机科学概论（英文版·第5版）
Nell B. Dale ; John Lewis2015 年出版668 页ISBN：7111448136
Pascalgorithms A Pascal-Based Introduction To Computer Science
1989 年出版802 页ISBN：039535739X
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN：081764220X
THE NATURE OF COMPUTATION:AN INTRODUCTION TO COMPUTER SCIENCE
IRA POHL1981 年出版397 页ISBN：
The Carnegie-Mellon Curriculum for Undergraduate Computer Science
Mary Shaw1985 年出版198 页ISBN：
