Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
Lecture Notes in Computer Science 3414 Hybrid Systems:Computation and Control 8th International Work
HSCC 20052005 年出版684 页ISBN：3540251081
Lecture Notes in Computer Science 3713 Model Driven Engineering Languages and Systems 8th Internatio
MoDELS 20052005 年出版722 页ISBN：3540290109
Lecture Notes in Computer Science 2425 Object-Oriented Information Systems 8th International Confere
OOIS 20022002 年出版550 页ISBN：3540440879
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Lecture Notes in Computer Science 4025 Distributed Applications and Interoperable Systems 6th IFIP W
DAIS 20062006 年出版355 页ISBN：3540351264
Lecture Notes in Computer Science 3643 Distributed Applications and Interoperable Systems 5th IFIP W
DAIS 20062005 年出版235 页ISBN：3540262628
Lecture Notes in Computer Science 4531 Distributed Applications and Interoperable Systems 7th IFIP W
DAIS 20072007 年出版337 页ISBN：9783540728818
Lecture Notes in Computer Science 4831 Web Information Systems Engineering-WISE 2007 8th Internation
2007 年出版675 页ISBN：9783540769927
Lecture Notes in Computer Science 4748 Formal Methds and Stochastic Models for Percformance Evaluati
EPEW 20072007 年出版300 页ISBN：9783540752103
