Lecture Notes in Computer Science 4250 Advances in Computer Games 11th International Conference
ACG 20052006 年出版272 页ISBN：9783540488873
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 3069 Architecting Dependable Systems II
2004 年出版351 页ISBN：3540231684
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 109 Digital Image Processing Systems
1981 年出版353 页ISBN：3540107053
Lecture Notes in Computer Science 3146 Computational Neuroscience:Cortical Dynamics
2004 年出版161 页ISBN：3540225668
Lecture Notes in Computer Science 127 Alternating Sequential/Parallel Processing
1982 年出版329 页ISBN：3540111948
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
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
