Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Lecture Notes in Computer Science 2388 Pattern Recognition with Support Vector Machines First Intern
SVM 20022002 年出版420 页ISBN：354044016X
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN：
Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 2028 Programming Languages and Systems 10th European Symposium on
ESOP 20012001 年出版433 页ISBN：3540418628
Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on
ESOP 20052005 年出版439 页ISBN：3540254358
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4178 Graph Transformations Third International Conference
ICGT 20062006 年出版473 页ISBN：3540388702
