Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
Lecture Notes in Computer Science 4164 Central European Functional Programming School Fist Summer Sc
CEFP 20052006 年出版257 页ISBN：3540468439
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 3647 Software Engineering Research
Management and Applications Second International Conference2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 4872 Advances in Image and Video Technology Second Pacific Rim Sym
PSIVT 20072007 年出版961 页ISBN：9783540771289
Lecture Notes in Computer Science 4319 Advances in Image and Video Technology First Pacific Rim Symp
PSIVT 20062006 年出版1347 页ISBN：9783540682974
Lecture Notes in Computer Science 3418 Network Analysis Methodological Foundations
2005 年出版471 页ISBN：3540249796
