船舶计算结构力学 Computational Structure Mechanics of Ship
聂武，孙丽萍编著2003 年出版458 页ISBN：7810079654
SAFETY OF COMPUTER CONTROL SYSTEMS 1989 SAFECOMP’89
R.GENSER，E.SCHOITSCH AND P.KOPACEK2222 年出版149 页ISBN：0080375359
Dictionary of computing and new information technology
A. J. Meadows ; M. Gordon ; A. Singleton1984 年出版230 页ISBN：0893971979
数值分析 mathematics of scientific computing
（美）David Kincaid，（美）Ward Cheney著；王国荣，俞耀明，徐兆亮译2005 年出版639 页ISBN：7111168453
本书是一本对所研究的问题作更多学术性讨论的数值分析教材，介绍了科学计算有关的各类算法和方法以及这些方法的数学基础。
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Computer Science 3895 Theoretical Computer Science Essays in Memory of Shimon Even
2006 年出版399 页ISBN：3540328807
A GLOSSARY OF COMPUTING TERMS TENTH EDITION
THE BRITISH COMPUTER SOCIETY SCHOOLS COMMITTEE GLOSSARY WORKING PARTY2003 年出版379 页ISBN：
BOWKER'S COMPLETE SOURCEBOOK OF RERSONAL COMPUTING 1985
R.R.BOWKER COMPANY1984 年出版1050 页ISBN：
