Lecture Notes in Computer Science 4383 Hardware and Software
Verification and Testing Second International Haifa Verification Conference2007 年出版235 页ISBN：
Lecture Notes in Bioinformatics 4645 Algorithms in Bioinformatics 7th International Workshop
WABI 20072007 年出版432 页ISBN：9783540741251
Lecture Notes in Bioinformatics 3692 Algorithms in Bioinformatics 5th International Workshop
WABI 20052005 年出版436 页ISBN：3540290087
Lecture Notes in Bioinformatics 3240 Algorithms in Bioinformatics 4th International Workshop
WABI 20042004 年出版476 页ISBN：3540230181
Lecture Notes in Bioinformatics 4175 Algorithms in Bioinformatics 6th International Workshop
WABI 20062006 年出版402 页ISBN：3540395830
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 3047 Softwae Architecture First European Workshop
EWSA 20042004 年出版279 页ISBN：3540220003
Lecture Notes in Computer Science 3178 Secure Data Management VLDB 2004 Workshop
SDM 20042004 年出版219 页ISBN：3540229833
Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN：3540219803
Lecture Notes in Computer Science 3836 Data Management in Grids First VLDB Workshop
DMG 20052005 年出版143 页ISBN：3540312129
