LECTURE NOTES IN MATHEMATICS 1189: FINE TOPOLOGY METHODS IN REAL ANALYSIS AND POTENTIAL THEORY
1986 年出版472 页ISBN：354016474X;038716474X
METHODS IN ENZYMOLOGY VOLUME XL HORMONE ACTION PART E NUCLEAR STRUCTURE AND FUNCTION
BERT W.OMALLEY AND JOEL G.HARDMAN1975 年出版404 页ISBN：012181940X
METHODS IN ENZYMOLOGY VOLUME 485：CONSTITUTIVE ACTIVITY IN RECEPTORS AND OTHER PROTEINS PART B
P.MICHAEL CONN2010 年出版652 页ISBN：9780123812964
ELASTIC-PLASTIC FRACTURE TEST METHODS:THE USER'S EXPERIENCE SECOND VOLUME STP 1114
JAMES A.JOYCE1991 年出版346 页ISBN：0803114184
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 306 CONTEMPORARY METHOD
CHARLES L.STONECYPHER2222 年出版198 页ISBN：0892523409
METHODS IN ENZYMOLOGY VOLUME 134 STRUCTURAL AND CONTRACTILE PROTEINS PART C THE CONTRACTILE APPA
RICHARD B.VALLEE2222 年出版748 页ISBN：0121820343
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
