Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN:3540388621
ADAPTIVE FINITE ELEMENT METHODS FOR OPTIMAL CONTROL GOVERNED BY PDES
WENBIN LIU,NINGNING YAN2008 年出版199 页ISBN:9787030222565
本书主要介绍最优控制自适应有限元方法的理论、计算和应用。首先简要介绍了偏微分方程最优控制的一些模型问题、应用背景、存在性及最优性条件等基本理论,然后以椭圆型方程最优控制为主,介绍了最优控制的有限...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法
Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN:7030367648
HANDBOOK OF EXPERIMENTAL IMMUNOLOGY IN FOUR VOLUMES VOLUME 4:APPLICATIONS OF UMMUNOLOGICAL METHODS I
D.M.WEIR MD1986 年出版550 页ISBN:0632013818
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION,STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN: