Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN：9783540740605
Lecture Notes in Computer Science 4134 Static Analysis 13th International Symposium
SAS 20062006 年出版443 页ISBN：3540377565
Lecture Notes in Computer Science 3148 Static Analysis 11th International Symposium
SAS 20042004 年出版393 页ISBN：3540227911
Lecture Notes in Computer Science 3672 Static Analysis 12th International Symposium
SAS 20052005 年出版369 页ISBN：3540285849
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 3031 Smart Graphics 4th International Symposium
SG 20042004 年出版163 页ISBN：3540219773
Lecture Notes in Computer Science 1499 Distributed Computing 12th International Symposium
DISC981998 年出版421 页ISBN：3540650660
Lecture Notes in Computer Science 4089 Software Composition 5th International Symposium
SC 20062006 年出版339 页ISBN：3540376577
Lecture Notes in Computer Science 4829 Software Composition 6th International Symposium
SC 20072007 年出版281 页ISBN：9783540773504
Lecture Notes in Computer Science 4167 Distributed Computing 20th International Symposium
DISC 20062006 年出版576 页ISBN：3540446249
