硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法
Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN：7030367648
HANDBOOK OF EXPERIMENTAL IMMUNOLOGY IN FOUR VOLUMES VOLUME 4：APPLICATIONS OF UMMUNOLOGICAL METHODS I
D.M.WEIR MD1986 年出版550 页ISBN：0632013818
THE FRONTIERS IN ECONOMIC AND MANAGEMENT RESEARCH VOLUME 3 MAY 2014
EDITOR-IN-CHIEF JINQUAN LIU2016 年出版120 页ISBN：9787030474407
具有前瞻性的经济学、管理学的理论和方法的研究成果。应用数量经济学方法进行宏观经济形势分析与预测，经济结构分析，经济政策评价与建议的研究成果。企业理论研究、企业竞争行为与产业规制研究、市场供给与需...
CACER RESEARCH IN THE PEOPLE'S REPUBLIC OF CHINA AND THE UNITED STATES OF AMERICA
PAUL A.MARKS1981 年出版273 页ISBN：0808913638
STUDENT GUIDE TO RESEARCH IN THE DIGITAL AGE HOW TO LOCATE AND EVALUATE INFORMATION SOURCES
LESLIE F.STEBBINS2006 年出版202 页ISBN：1591580994
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION，STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN：
A LABORATORY MANUAL OF ANALYTICAL METHODS OF PROTEIN CHEMISTRY (INCLUDING POLYPEPTIDES) VOLUME 3 DET
P.ALEXANDER R.J.BLOCK2222 年出版286 页ISBN：
