Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con
ICFEM 20042004 年出版500 页ISBN：3540238417
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 4781 Advances in Visual Information Systems 9th International Conf
VISUAL 20072007 年出版582 页ISBN：9783540764137
Lecture Notes in Computer Science 3189 Advances in Computer Systems Architecture 9th Asia-Pacific Co
ACSAC 20042004 年出版598 页ISBN：3540230033
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 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
Lecture Notes in Computer Science 3631 Advances in Databases and Information Systems 9th East Europe
ADBIS 20052005 年出版393 页ISBN：3540285857
Lecture Notes in Computer Science 3061 Advanced Distributed Systems Third International School and S
ISSADS 20042004 年出版285 页ISBN：3540221727
Lecture Notes in Computer Science 3927 Hybrid Systems:Computation and Control 9th International Work
HSCC 20062006 年出版583 页ISBN：3540331700
