COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
Computational biology-Unix/Linux
data processing and programming2004 年出版284 页ISBN：354021142X
SYSTEM DESIGN FOR COMPUTER APPLICATIONS
H.N. LADEN AND T.R. GILDERSLEEVE1963 年出版330 页ISBN：
QUALITY ASSURANCE FOR COMPUTER SOFTWARE
ROBERT DUNN AND RICHARD ULLMAN2222 年出版351 页ISBN：
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
PARALLEL COMPUTING THEORY AND COMPARISONS
G.JACK LIPOVSKI MIROSLAW MALEK2222 年出版384 页ISBN：
COMPUTER SCIENCE ILLUMINATED （THIRD EDITION）
[美]NELL DALE JOHN LEWIS著2008 年出版636 页ISBN：
