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: