Lecture Notes in Computer Science 3125 Mathemati of Program Construction 7th International Conferenc
MPC 20042004 年出版401 页ISBN：3540223800
Lecture Notes in Computer Science 3545 Public Key Infrastructure Second European PKI Workshop:Resear
EuroPKI 20052005 年出版270 页ISBN：3540280626
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN：0387512373
Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems
2006 年出版404 页ISBN：9783540482659
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN：3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN：3540454586
