Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con
ICFEM 20052005 年出版496 页ISBN：3540297979
Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN：9783540766483
Lecture Notes in Computer Science 3736 Visual Information and Information Systems 8th International
VISUAL 20052006 年出版289 页ISBN：3540304886
Lecture Notes in Computer Science 4878 Principles of Distributed Systems 11th International Conferen
OPODIS 20072007 年出版457 页ISBN：9783540770954
Lecture Notes in Computer Science 4305 Principles of Distributed Systems 10th International Conferen
OPODIS 20062006 年出版441 页ISBN：9783540499909
Lecture Notes in Computer Science 3974 Principles of Distributed Systems 9th International Conferenc
OPODIS 20052006 年出版444 页ISBN：9783540363217
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 3255 Advances in Databases and Information Systems 8th East Europe
ADBIS 20042004 年出版423 页ISBN：3540232435
