硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

下载此书RAR压缩包在线购买PDF电子书

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法

下载此书RAR压缩包在线购买PDF电子书

Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN：7030367648

HANDBOOK OF EXPERIMENTAL IMMUNOLOGY IN FOUR VOLUMES VOLUME 4：APPLICATIONS OF UMMUNOLOGICAL METHODS I

下载此书RAR压缩包在线购买PDF电子书

D.M.WEIR MD1986 年出版550 页ISBN：0632013818

handbook of research on methods and techniques for studying virtual communities paradigms and pheno

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

proteins in solution and at interfaces methods and applications in biotechnology and materials scien

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

handbook of research on methods and techniques for studying virtual communities paradigms and pheno

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

文件的科学检验：方法与技术 （第3版） = scientific examination of documents：methods and techniques （third edition）

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION，STRUCTURE AND REACTIVITY OF PROTEI

下载此书RAR压缩包在线购买PDF电子书

P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN：

A LABORATORY MANUAL OF ANALYTICAL METHODS OF PROTEIN CHEMISTRY (INCLUDING POLYPEPTIDES) VOLUME 3 DET

下载此书RAR压缩包在线购买PDF电子书

P.ALEXANDER R.J.BLOCK2222 年出版286 页ISBN：

Lecture Notes in Computer Science 3929 Relational Methods in Computer Science 8th International Semi

下载此书RAR压缩包在线购买PDF电子书

2006 年出版263 页ISBN：3540333398