Numerical Software with Result Verification International Dagstuhl Seminar
2004 年出版315 页ISBN：3540212604
DYNAMIC MULTILEVEL METHODS AND THE NUMERICAL SIMULATION OF TURBULENCE
THIERRY DUBOIS1999 年出版289 页ISBN：
The method of order reduction and its application to the numerical solutions of partial differential
Zhizhong Sun2009 年出版416 页ISBN：7030245465
Numerical Recipes 3rd Edition: The Art of Scientific Computing
William H. Press2007 年出版1235 页ISBN：9780521880688
THE COMPUTER COMES OF AGE：THE PEOPLE，THE HARDWARE，AND THE SOFTWARE
R.MOREAU2222 年出版227 页ISBN：0262131943
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
PROCEEDINGS OF THE TENTH SOUTH AFRICAN:SYMPOSIUM ON NUMERICAL MATHEMATICS
JA.SNYMAN2222 年出版262 页ISBN：0869804065
