Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
METHODS IN ENZYMOLOGY VOLUME 190 RETINOIDS PART B CELL DIFFERENTIATION AND CLINICAL APPLICATIONS
LESTER PACKER2222 年出版488 页ISBN：0121820912
APPLICATIONS OF NMR SPECTROSCOPY TO PROBLEMS IN STEREOCHEMISTRY AND CONFORMATIONAL ANALYSIS
YOSHITO TAKEUCHI AND AIAN P.MARCHAND1986 年出版221 页ISBN：0895731185
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
INTRODUCTION TO MODERN METHODS OF QUANTUM MANY-BODY THEORY AND THEIR APPLICATIONS
ADELCHI FABROCINI2002 年出版413 页ISBN：
APPROXIMATION AND WEAK CONVERGENCE METHODS FOR RANDOM PROCESSES，WITH APPLICATIONS TO STOCHASTIC SYST
HAROLD J.KUSHNER2222 年出版269 页ISBN：0262110903
Some topics in harmonic analysis and applications = 调和分析及其应用中的一些问题
Junfeng Li ; Xiaochun Li ; Guozhen Lu2015 年出版424 页ISBN：7040430189
AN INTRODUCTION TO NONLINEAR FINITE ELEMENT ANALYSIS WITH APPLICATIONS TO HEAT TRANSFER
FLUID MECHANICS2015 年出版687 页ISBN：
