Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN：9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法（主要是超收敛分析）及有限元后验误差分析方面的主要成果，其中包括许多已发表或尚未发表的成果。...
Lecture Notes In Control and Information Sciences 366 Lagrangian and Hamiltonian Methods For Nonline
Francesco Bullo2007 年出版398 页ISBN：
METHODS IN ENZYMOLOGY VOLUME 203 MOLECULAR DESIGN AND MODELING：CONCEPTS AND APPLICATIONS PART B
UNCLEIC ACIDS2222 年出版0 页ISBN：
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
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 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
