Lecture Notes in Computer Science 773 Advances in Cryptology-CRYPTO'93 13th Annual International Cry
1994 年出版492 页ISBN:3540577661
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN:3540212000
Lecture Notes in Computer Science 3196 User-Centered Interaction Paradigms for Universal Access in t
2004 年出版485 页ISBN:354023375X