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
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Lecture Notes in Computer Science 4522 Image Analysis 15th Scandinavian Conference
SCIA 2007 Aalborg2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3540 Image Analysis 14th Scandinavian Conference
SCIA 2005 Joensuu2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
ISOLA 20042006 年出版197 页ISBN：9783540489283
PRACTICAL METHODS IN ELECTRON MICROSCOPY VOLUME 7 IMAGE ANALYSIS，ENHANCEMENT AND INTERPRETATION
D.L.MISELL1978 年出版305 页ISBN：0720442508
