FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
FUNDAMENTAL OF ADVANCED COMPUTER PROGRAMMING
周麟祥编著2005 年出版353 页ISBN:7309045769
本书为从事大规模计算和模拟所需具备的计算机核心技术集锦。包括Unix操作系统、计算机语言和SQL。
CONTROL APPLICATIONS OF NONLINEAR PROGRAMMING AND OPTIMIZATION
1986 年出版210 页ISBN:0080316654