30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
2222 年出版632 页ISBN：0818619821
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
G.GOOS AND J.HARTMANIS2222 年出版420 页ISBN：3540534873
DIGITAL SIGNAL PROCESSING A COMPUTER-BASED-APPROACH THIRD EDITON
[美]SANJIT K.MITRA著 阔永红改编2006 年出版489 页ISBN：7121023679
本书是在数字信号领域的经典教材Digital Signal Processing: A Computer-Based Approach（第三版）的基础上改编而成，内容涵盖信号与信号处理、时域中的离散时间信号和系统、变换域中的离散时间信号、变换域中的...
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
NUCLEUS ENGLISH FOR SCIENCE AND TECHNOLOGY BIOLOGY TEACHER'S NOTES
1977 年出版72 页ISBN：0582553547
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
