Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页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 4166 Computer Safety
Reliability2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3688 Computer Safety
Reliability2005 年出版0 页ISBN：
Lecture Notes in Computer Science 4680 Computer Safety
Reliability2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3219 Computer Safety
Reliability2004 年出版0 页ISBN：
