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