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