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 2984 Fundamental Approaches to Software Engineering 7th Internatio
FASE 20042004 年出版389 页ISBN：3540213058
Lecture Notes in Computer Science 3922 Fundamental Approaches to Software Engineering 9th Internatio
FASE 20062006 年出版425 页ISBN：3540330933
Lecture Notes in Computer Science 3442 Fundamental Approaches to Software Engineering 8th Internatio
FASE 20052005 年出版371 页ISBN：354025420X
Lecture Notes in Computer Science 4302 Privacy in Statistical Databases CENEX-SDC Project Internatio
PSD 20062006 年出版383 页ISBN：9783540493303
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
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 4074 Secure Mobile Ad-hoc Networks and Sensors First International
MADNES 2005 Singapore2006 年出版0 页ISBN：
