Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4050 Transactions on High-Performance Embedded Architectures and C
2007 年出版361 页ISBN：9783540715276
Lecture Notes in Computer Science 4199 Model Driven Engineering Languages and Systems 9th Internatio
MODELS 20062006 年出版794 页ISBN：3540457720
Lecture Notes in Computer Science 4735 Model Driven Engineering Languages and Systems 10th Internati
MODELS 20072007 年出版694 页ISBN：9783540752080
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 3713 Model Driven Engineering Languages and Systems 8th Internatio
MoDELS 20052005 年出版722 页ISBN：3540290109
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
