Lecture Notes in Artificial Intelligence 3025 Methods and Applications of Artificial Intelligence Th
SETN 20042004 年出版546 页ISBN：3540219374
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
NUCLEAR MAGNETIC RESONANCE IN SOLIDS
LIEVEN VAN GERVEN2222 年出版429 页ISBN：0306357224
ANALYTICAL METHODS OF PROTEIN CHEMISTRY VOLUME 2 THE COMPOSITION，STRUCTURE AND REACTIVITY OF PROTEI
P.ALEXANDER R.J.BLOCK2222 年出版518 页ISBN：
ORGANIC SYNTHESES AN ANNUAL PUBLICATION OF SATISFACTORY METHODS FOR THE PREPARATION OF ORGANIC CHEMI
1999 年出版340 页ISBN：0471348864
STANDARD METHODS FOR THE EXAMINATION OF WATER AND WASTEWATER SIXTEENTH EDITION
2222 年出版1268 页ISBN：0875531318
METHODS IN ENZYMOLOGY VOLUME 271 HIGH RESOLUTION SEPARATION AND ANALYSIS OF BIOLOGICAL MACROMOLECU
BARRY L.KARGER WILLIAM S.HANCOCK2222 年出版555 页ISBN：0121821722
