Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Lecture Notes in Computer Science 3844 Satellite Events at the MoDELS 2005 Conference MoDELS 2005 In
Educators Symposium2006 年出版360 页ISBN：3540317805
Lecture Notes in Computer Science 4469:Technologies for E-Learning and Digital Entertainment
2007 年出版974 页ISBN：9783540730101
Lecture Notes in Computer Science 4716 Software Engineering Approaches for Offshore and Outsourced D
SEAFOOD 20072007 年出版201 页ISBN：9783540755418
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 3107 Software Reuse:Methods
Techniques2004 年出版0 页ISBN：
Lecture Notes in Computer Science 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN：9783540725206
Lecture Notes in Computer Science 2017 Languages and Compilers for Parallel Computing 13th Internati
LCPC 20002001 年出版381 页ISBN：3540428623
