Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN：3540221727
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 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 2993 Hybrid Systems:Computation and Control 7th International Work
HSCC 20042004 年出版674 页ISBN：3540212590
Lecture Notes in Computer Science 4684 Evolvable Systems:From Biology to Hardware 7th International
ICES 20072007 年出版446 页ISBN：9783540746256
Lecture Notes in Computer Science 4857 Web and Wireless Geographical Information Systems 7th Interna
W2GIS 20072007 年出版293 页ISBN：9783540769231
Lecture Notes in Computer Science 4255 Web Information Systems-WISE 2006 7th International Conferenc
2006 年出版563 页ISBN：3540481052
