Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
NUMERICAL METHODS IN THERMAL PROBLEMS
R.W.LEWIS AND K.MORGAN1981 年出版1313 页ISBN：0906674123
NUMERICAL METHODS IN FLUID DYNAMICS
N.N.YANENKO AND YU.I.SHOKIN1984 年出版336 页ISBN：
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Numerical methods for polymeric systems
Whittington;Stuart G.;Institute of Mathematics and Its Applications1998 年出版223 页ISBN：0387985573
