Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
LECTURE NOTES IN COMPUTER SCIENCE 490 ALGEBRAIC METHODS Ⅱ:THEORY
TOOLS AND APPLICATIONS1991 年出版434 页ISBN：
Lecture Notes in Computer Science 4443 Advances in Databases:Concepts
Systems and Applications 12th International Conference on Database Systems for Advanced Applications2007 年出版1126 页ISBN：
Lecture Notes in Computer Science 3321 Advances in Computer Science-ASIAN 2004 Higher-Level Decision
2004 年出版510 页ISBN：354024087X
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 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
