Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2845 Security Protocols 10th International Workshop
2004 年出版243 页ISBN：3540208305
Lecture Notes in Computer Science 4631 Security Protocols 13th International Workshop
2007 年出版347 页ISBN：9783540771555
Lecture Notes in Computer Science 2133 Security Protocols 8th International Workshop
2001 年出版257 页ISBN：3540425667
Lecture Notes in Computer Science 1796 Security Protocols 7th International Workshop
2000 年出版229 页ISBN：3540673814
Lecture Notes in Computer Science 1758 Seleted Areas in Cryptography 6th Annual International Worksh
SAC992000 年出版241 页ISBN：3540671854
Lecture Notes in Computer Science 4378 Perspectives Of Systems Informatics 6th International Andrei
PSI 20062007 年出版496 页ISBN：9783540708803
Lecture Notes in Computer Science 3057 Practical Aspects Of Declarative Languages 6th International
PADL 20042004 年出版255 页ISBN：3540222537
Lecture Notes in Computer Science 3163 Document Analysis Systems VI 6th International Workshop
DAS 2004 Florence2222 年出版0 页ISBN：
