Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
METHODS IN ENZYMOLOGY VOLUME 173 BIOMEMBRANES PART T CELLULAR AND SUBCELLULAR TRANSPORT EUKARYOTIC C
SIDNEY FLEISCHER1989 年出版842 页ISBN：0121820742
METHODS IN ENZYMOLOGY VOLUME 88 BIOMEMBRANES PART I VISUAL PIGMENTS AND PURPLE MEMBRANES II
LESTER PACKER1982 年出版836 页ISBN：0121819884
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
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Geometric partial differential equation methods in computational geometry = 计算几何中的几何偏微分方程方法
Guoliang Xu ; Qin Zhang2013 年出版374 页ISBN：7030367648
