Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
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 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
