Lecture Notes in Computer Science 4515 Advances in Cryptology-EUROCRYPT 2007 26th Annual Internation
2007 年出版592 页ISBN:9783540725398
Lecture Notes in Computer Science 3494 Advances in Cryptology-EUROCRYPT 2005 24th Annual Internation
2005 年出版576 页ISBN:3540259104
Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075