硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
Advances in the homotopy analysis method
Shijun Liao2014 年出版418 页ISBN：9814551243
ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENINEERING
TIEN VAN DO2014 年出版428 页ISBN：9783319065687
地铁车站空间环境设计 程序·方法·实例 method procedures example
郭晓阳，王占生编著2014 年出版366 页ISBN：9787517020707
随着我国城市建设的快速发展，轨道交通工程日益增多，轨道交通空间设计急需总结实践和规范流程，本书以实例为基础，详细介绍了轨道交通空间设计的程序和方法。全书共分12章，分别是：轨道交通发展概述、轨道交通空间.....
SYSTEM ANALYSIS & DESIGN WITH MODERN METHODS
LEN FERTUCK1995 年出版659 页ISBN：0697162182
ADVANCED METHODS IN PROTEIN MICROSEQUENCE ANALYSIS
B.WITTMANN-LIEBOLD V.A.ERDMANN2222 年出版423 页ISBN：3540169970
