Lecture Notes in Computer Science 4225 Progress in Pattern Recognition
Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition2006 年出版995 页ISBN：
Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
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 3818 Advances in Computer Science-ASIAN 2005 Data Management on th
2005 年出版294 页ISBN：3540307672
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 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
