Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Symposium on Nucleic Acids Technology held at february 20th-21st
19881988 年出版207 页ISBN：1852210974
Lecture Notes in Computer Science 3804 Advances in Visual Computing First International Symposium
ISVC 20052005 年出版755 页ISBN：3540307508
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN：3540297359
Lecture Notes in Computer Science 4746 Dependable Computing Third Latin-American Symposium
LADC 20072007 年出版239 页ISBN：9783540752936
Lecture Notes in Computer Science 3747 Dependable Computing Second Latin-American Symposium
LADC 20052005 年出版267 页ISBN：3540295720
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
