Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN：3540325336
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN：9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法（主要是超收敛分析）及有限元后验误差分析方面的主要成果，其中包括许多已发表或尚未发表的成果。...
Applied and Computational Complex Analysis Volume 2 Special Functions-Integral Transforms-Asymptotic
Peter Henrici1977 年出版662 页ISBN：
ANALYSIS OF DRUGS AND METABOLITES BY CAS CHROMATOGRAPHY-MASS SPECTROMETRY VOLUME 3 ANTIPSYCHOTIC
MARCEL DEKKER1977 年出版0 页ISBN：
ANALYSIS OF DRUGS AND METABOLITES BY CAS CHROMATOGRAPHY-MASS SPECTROMETRY VOLUME 2 HYPNOTICS
MARCEL DEKKER1977 年出版0 页ISBN：
ANALYSIS OF DRUGS AND METABOLITES BY GAS CHROMATOGRAPHY-MASS SPECTROMETRY VOLUME 5:ANALGESICS
MARCEL DEKKER1978 年出版0 页ISBN：
THE ROCK PHYSICS HANDBOOK TOOLS FOR SEISMIC ANALYSIS OF POROUS MEDIA SECOND EDITION
GARY MAVKO，TAPAN MUKERJI AND JACK DVORKIN2009 年出版511 页ISBN：0521861365
LECTURE NOTES IN MATHEMATICS 1189: FINE TOPOLOGY METHODS IN REAL ANALYSIS AND POTENTIAL THEORY
1986 年出版472 页ISBN：354016474X;038716474X
