Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
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 4802 Advances in Conceptual Modeling-Foundations and Applications
FP-UMLQoIS 年出版0 页ISBN:SeCoGIS
Lecture Notes in Computer Science 4841 Advances in Visual Computing Third International Symposium
ISVC 2007 Part I2007 年出版831 页ISBN:9783540768579
Lecture Notes in Computer Science 4291 Advances in Visual Computing Second International Symposium
ISVC 2006 Part I2006 年出版916 页ISBN:9783540486282
Lecture Notes in Computer Science 4292 Advances in Visual Computing Second International Symposium
ISVC 2006 Part II2006 年出版906 页ISBN:9783540486288