Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
Lecture Notes in Computer Science 109 Digital Image Processing Systems
1981 年出版353 页ISBN：3540107053
Lecture Notes in Computer Science 4615 Architecting Dependable Systems IV
2007 年出版435 页ISBN：9783540740339
Lecture Notes in Computer Science 3549 Architecting Dependable Systems III
2005 年出版343 页ISBN：3540289682
Lecture Notes in Computer Science 3386 Public Key Cryptography-PKC 2005 8th International Workshop o
2005 年出版433 页ISBN：3540244549
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN：3540230920
Lecture Notes in Computer Science 3938 Architecting Systems with Trustworthy Components
2006 年出版299 页ISBN：3540358005
