Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN：3540575006
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Computer Science 3307 Web Information Systems-WISE 2004 Workshops WISE 2004 Interna
2004 年出版275 页ISBN：3540238921
Lecture Notes in Computer Science 3912 Active Networks IFIP TC6 6th International Working Conference
IWAN 20042007 年出版218 页ISBN：9783540714996
Lecture Notes in Computer Science 3775 Ambient Networks 16th IFIP/IEEE International Workshop on Dis
DSOM 20052005 年出版281 页ISBN：3540293884
Lecture Notes in Computer Science 4582 Public Key Infrastructure 4th European PKI Workshop:Theory an
EuroPKI 20072007 年出版374 页ISBN：9783540734079
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
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 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
