硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
REMOTE SENSING APPLICATIONS IN ENVIRONMENTAL RESEARCH
PRASHANT K.SRIVASTAVA.SAUMITRA MUKHERJEE2014 年出版212 页ISBN:9783319059051
RECENT ADVANCES IN POLYPHENOL RESEARCH VOLUME 1
2008 年出版393 页ISBN:9781405158374
Colloid-polymer interactions from fundamentals to practice
edited by Raymond S. Farinato and Paul L. Dubin1999 年出版417 页ISBN:0471243167