Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
methods in enzymology The unfolded protein response and cellular stress. Part C (volume 491)
edited by by P. Michael Conn2011 年出版413 页ISBN：012385928X
Advances in Computational Fluid-Structure Interaction and Flow Simulation New Methods and Challengin
Yuri bazilevs2016 年出版500 页ISBN：3319408255
THE FABRIC FORMWORK BOOK METHODS FOR BUILDING NEW ARCHITECTURAL AND STRUCTURAL FORMS IN CONCRETE
MARK WEST2017 年出版297 页ISBN：9780415748858
INFORMATION TECHNOLOGY FOR COMMAND AND CONTROL Methods and Tools for Systems Development and Evaluat
Stephen J.Andriole1991 年出版576 页ISBN：
advances in food safety and food microbiology molecular typing methods for tracking foodborne micro
steven l.foley2012 年出版405 页ISBN：
临床心理学 概念、方法和职业 Concepts， methods， and prefession
（美）Timothy J.Trull，（美）E.Jerry Phares著；丛中等主译2005 年出版523 页ISBN：7501950059
本书包括临床心理学基础、评估、干预以及特殊专业分支四部分，共20章。读者会发现，本书综合了大量的文献，而且许多内容难得一见；尤其颇具特色的是本书包含了对相关领域中杰出临床心理学工作者的专访，这些杰出的临...
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：
