Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
Methods in Enzymology Volume 269 Nitric Oxide Part B Physioloical and Pathological Processed
Lester Packer1996 年出版528 页ISBN：
Methods in Enzymology volume 301 Nitric Oxide Part C:Biological and Anitioxidant Activities
Lester Packer1999 年出版589 页ISBN：
Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN：9783540740605
Lecture Notes in Computer Science 4134 Static Analysis 13th International Symposium
SAS 20062006 年出版443 页ISBN：3540377565
Lecture Notes in Computer Science 3148 Static Analysis 11th International Symposium
SAS 20042004 年出版393 页ISBN：3540227911
Lecture Notes in Computer Science 3672 Static Analysis 12th International Symposium
SAS 20052005 年出版369 页ISBN：3540285849
TECHNIQUES OF COMBINED GAS CHROMATOGRAPHY/MASS SPECTROMETRY:APPLICATIONS IN ORGANIC ANALYSIS
WILLIAM MCFADDEN1973 年出版463 页ISBN：
AN INTRODUCTION TO COMPLEX ANALYSIS IN SEVERAL VARIABLES THIRD EDITION(REVISED)
LARS HORMANDER1991 年出版254 页ISBN：
Introduction to Orthogonal Transforms:With Applications in Data Processing and Analysis
Wang2012 年出版568 页ISBN：9780521516884;0521516889
