Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3934 Security in Pervasive Computing Third International Conferenc
SPC 20062006 年出版243 页ISBN：3540333762
Lecture Notes in Computer Science 3450 Security in Pervasive Computing Second International Conferen
SPC 20052005 年出版239 页ISBN：3540255214
Lecture Notes in Computer Science 3803 Information Systems Security First International Conference
ICISS 20052005 年出版342 页ISBN：3540307060
Lecture Notes in Computer Science 4218 Information Systems Security Third International Conference
ICISS 20072007 年出版322 页ISBN：9783540770855
Lecture Notes in Computer Science 4332 Information Systems Security Second International Conference
ICISS 20062006 年出版382 页ISBN：9783540689621
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN：3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN：9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
