硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
Ligand platforms in homogenous catalytic reactions with metals: practice and applications for green
Ryohei Yamaguchi ; Ken-ichi Fujita2015 年出版344 页ISBN:1118203514
Structure-performance relationships in surfactants PT.1
1997 年出版290 页ISBN:082470686