VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING
2010 年出版767 页ISBN：9780521113601
Continuous Time Markov Processes An Introduction
Thomas M.Liggett2222 年出版274 页ISBN：
OPERATIONS RESEARCH AN INTRODUCTION THIRD EDITION
HAMDY A.TAHA1982 年出版848 页ISBN：
LAGRANGIAN DYNAMICS: AN INTRODUCTION FOR STUDENTS
C.W.KILMISTER1967 年出版136 页ISBN：
