Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 3311 Interactive Multimedia and Next Generation Networks Second In
MIPS 20042004 年出版287 页ISBN：3540239286
