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 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN：9783540489375
Lecture Notes in Computer Science 4807 Programming Languages and Systems 5th Asian Symposium
APLAS 20072007 年出版431 页ISBN：9783540766360
Lecture Notes in Computer Science 3736 Visual Information and Information Systems 8th International
VISUAL 20052006 年出版289 页ISBN：3540304886
Lecture Notes in Computer Science 4270 Interactive Technologies and Sociotechnical Systems 12th Inte
VSMM 20062006 年出版547 页ISBN：3540463046
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
