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：
Theory and Design of Digital Computer Systems Second Edition
Douglas Lewin1980 年出版472 页ISBN：
It began with Babbage the genesis of computer science
Subrata Dasgupta2014 年出版328 页ISBN：0199309412
Analysis of turbulent flows with computer programs Third Edition
Tuncer Cebeci2013 年出版454 页ISBN：0080983356
COMPUTER AIDED ANALYSIS AND OPTIMIZATION OF MECHANICAL SYSTEM DYNAMICS
EDWARD J.HAUG1984 年出版700 页ISBN：
McGraw-Hill Dictionary of ELECTRONICS AND COMPUTER TECHNOLOGY
Sybil P.Parker1984 年出版582 页ISBN：
Mathematical Modelling and Computer Simulation of Activated Sludge Systems
Jacek Makinia2222 年出版389 页ISBN：9781843392385;1843392380
dictionary of computer vision and image processing second edition
r.b.fisher2222 年出版0 页ISBN：
COMPUTER ANALYSIS OF STRUCTURES MATRIX STRUCTURAL ANALYSIS STRUCTURED PROGRAMMING
SIEGFRIED M.HOLZER1985 年出版102 页ISBN：0444009434
