Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7
2004 年出版278 页ISBN：354022145X
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th Internat
RelMiCS/AKA 20062006 年出版433 页ISBN：3540378731
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN：3540108866
Lecture Notes in Computer Science 4649 Computer Science-Theory and Applications Second International
CSR 20072007 年出版420 页ISBN：9783540745099
Lecture Notes in Computer Science 4752 Advances in Information and Computer Security Second Internat
IWSEC 20072007 年出版460 页ISBN：9783540756507
Lecture Notes in Computer Science 4505 Advances in Data and Web Management
2007 年出版896 页ISBN：9783540724834
Lecture Notes in Computer Science 3280 Computer and Information Science-ISCIS 2004 19th Internationa
2004 年出版1009 页ISBN：3540235264
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN：9783540732860
Lecture Notes in Computer Science 341 Software Reliability Modelling and Identification
1988 年出版209 页ISBN：3540506950
