Lecture Notes in Computer Science 4047 Fast Software Encryption 13th International Workshop
FSE 20062006 年出版433 页ISBN:3540365974
Lecture Notes in Computer Science 4356 Selected Areas in Cryptography 13th International Workshop
SAC 20062007 年出版395 页ISBN:9783540744610
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer Science 3088 Graphics Recognition 5th International Workshop
GREC 20032004 年出版387 页ISBN:
Lecture Notes in Computer Science 4839 Runtime Verification 7th International Workshop
RV 20072007 年出版218 页ISBN:9783540773948