COMPUTER AIDED DESIGN AND MANUFACTURING
U.REMBOLD，R.DILLMANN1986 年出版458 页ISBN：7506202700
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
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：
COMPUTER SCIENCE ILLUMINATED （THIRD EDITION）
[美]NELL DALE JOHN LEWIS著2008 年出版636 页ISBN：
century student's english usage dictionary=新世纪学生英语用法词典
彭友良，王跃东，尹玲夏，柏成鹏主编；谈玉光，蔡英俊，张琪安，王银泉，韩品煜，刘爱珍副主编；马冬梅，王亦男，王银泉，苏建红，陆美芳等编1995 年出版601 页ISBN：7563010297
