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
Lecture Notes in Computer Science 106 The Programming Language Ada
1980 年出版243 页ISBN：3540106936
Lecture Notes in Computer Science 309 Experiences with Distributed Systems
1988 年出版291 页ISBN：3540193332
Lecture Notes in Computer Science 4103:Business Process Management Workshops
2006 年出版508 页ISBN：3540384448
Lecture Notes in Computer Science 3812:Business Process Management Workshops
2006 年出版522 页ISBN：3540325956
Lecture Notes in Computer Science 73 Graph-Grammars and Their Application to Computer Science and Bi
October 30-November 31979 年出版477 页ISBN：
Lecture Notes in Computer Science 4796 Human-Computer Interaction IEEE International Workshop
HCI 20072007 年出版157 页ISBN：9783540757726
Lecture Notes in Computer Science 2324 Computer Performance Evaluation Modelling Techniques and Tool
TOOLS 20022002 年出版349 页ISBN：3540435395
