Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
Lecture Notes in Computer Science 3493 Advances in XML Information Retrieval Third International Wor
INEX 20042005 年出版438 页ISBN：3540261664
Lecture Notes in Computer Science 2959 COTS-Based Software Systems Third International Conference
ICCBSS 20042004 年出版219 页ISBN：354021903X
Lecture Notes in Computer Science 4477 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part I2007 年出版625 页ISBN：9783540728467
Lecture Notes in Computer Science 4478 Pattern Recognition and Image Analysis Third Iberian Conferen
IbPRIA 2007 Part II2007 年出版657 页ISBN：9783540728481
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 3686 Pattern Recognition and Data Mining Third International Confe
ICAPR 2005 BathAugu 年出版2005 页ISBN：Part I
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
