FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
PRINCIPLES OF CONTINUUM MECHANICS A Study of Conservation Principles with Applications
2010 年出版230 页ISBN:0521513692
FUNDAMENTAL OF ADVANCED COMPUTER PROGRAMMING
周麟祥编著2005 年出版353 页ISBN:7309045769
本书为从事大规模计算和模拟所需具备的计算机核心技术集锦。包括Unix操作系统、计算机语言和SQL。