Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
CWI MONOGRAPHS 2 STABILITY OF RUNGE-KUTTA METHODS FOR STIFF NONLINEAR DIFFERENTIAL EQUATIONS
K.DEKKER J.G.VERWER2222 年出版307 页ISBN：0444876340
ORGANIC SYNTHESES AN ANNUAL PUBLICATION OF SATISFACTORY METHODS FOR THE PREPARATION OF ORGANIC CHEMI
1999 年出版340 页ISBN：0471348864
企业管理研究方法 英文版·第11版=BUSINESS RESEARCH METHODS ELEVENTH EDITION
Donald R.Cooper2013 年出版489 页ISBN：9787300181073
本书是一本英文影印版教材，原著全面系统地介绍了商业研究的一般步骤和各种方法，结构清晰，内容难度适中，既有对科学研究的基本概念的解释和说明，又有对高级统计分析的简单介绍，非常适合教学，同时也是一本很有价......
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
NUMERICAL METHODS USING MATLAB FOURTH EDITION
JOHN H. MATHEWS KURTIS D. FINK2005 年出版680 页ISBN：7121014297
本书介绍了数值方法的理论及实用知识，并讲述了如何利用MATLAB软件实现各种数值算法，以便为读者今后的学习打下坚实的数值分析与科学计算基础。本书内容丰富翔实，教师可以根据不同的学习对象和学习目的选择相应...
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
