Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
软件开发 建立可靠的系统 building reliable systems
（美） 马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022
本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。
LECTURE NOTES IN MATHEMATICS 978: QUASICONFORMAL MAPPINGS IN THE PLANE: PARAMETRICAL METHODS
1983 年出版178 页ISBN：3540119892;0387119892
LECTURE NOTES IN MATHEMATICS 1054: GALERKIN FINITE ELEMENT METHODS FOR PARABOLIC PROBLEMS
1984 年出版240 页ISBN：3540129111;0387129111
LECTURE NOTES IN MATHEMATICS 1081: MODULAR REPRESENTATION THEORY: NEW TRENDS AND METHODS
1984 年出版231 页ISBN：3540133895;0387133895
LECTURE NOTES IN MATHEMATICS 1044: DISCRETIZATION METHODS FOR STABLE INITIAL VALUE PROBLEMS
1984 年出版201 页ISBN：3540128808;0387128808
INTRA HOUSEHOLD RESOURCE ALLOCATION:ISSUES METHODS FOR DEVELOPMENT POLICY AND PLANNING
BEATRICE LORGE ROGERS NINA P.SCHLOSSMAN1990 年出版204 页ISBN：
PRINCIPLES AND METHODS OF ADAPTED PHYSICAL EDUCATION AND RECREATION EIGHTH EDITION
DAVID AUXTER JEAN PYFER CAROL HUETTIG1997 年出版605 页ISBN：
TECHNIQUES OF CHEMISTRY VOLUME I PHYSICAL METHODS OF CHEMISTRY PART IIA
ARNOLD WEISSBERGER AND BRYANT W.ROSSITER1971 年出版723 页ISBN：
