Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop

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

WS-FM 20062006 年出版289 页ISBN：3540388621

ADAPTIVE FINITE ELEMENT METHODS FOR OPTIMAL CONTROL GOVERNED BY PDES

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

WENBIN LIU，NINGNING YAN2008 年出版199 页ISBN：9787030222565

本书主要介绍最优控制自适应有限元方法的理论、计算和应用。首先简要介绍了偏微分方程最优控制的一些模型问题、应用背景、存在性及最优性条件等基本理论，然后以椭圆型方程最优控制为主，介绍了最优控制的有限...

硬件设计验证 基于模拟与形式的方法 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：