Lecture Notes in Computer Science 1499 Distributed Computing 12th International Symposium
DISC981998 年出版421 页ISBN：3540650660
Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN：9783540740605
Lecture Notes in Computer Science 4089 Software Composition 5th International Symposium
SC 20062006 年出版339 页ISBN：3540376577
Lecture Notes in Computer Science 3148 Static Analysis 11th International Symposium
SAS 20042004 年出版393 页ISBN：3540227911
Lecture Notes in Computer Science 4829 Software Composition 6th International Symposium
SC 20072007 年出版281 页ISBN：9783540773504
Lecture Notes in Computer Science 3672 Static Analysis 12th International Symposium
SAS 20052005 年出版369 页ISBN：3540285849
Lecture Notes in Computer Science 4167 Distributed Computing 20th International Symposium
DISC 20062006 年出版576 页ISBN：3540446249
43th Annual Symposium on Foundations of Computer Science October 17-19
19991999 年出版668 页ISBN：
37th Annual Symposium on Foundations of Computer Science October 14-16
19961996 年出版638 页ISBN：
35th Annual Symposium on Foundations of Computer Science November 20-22
19941994 年出版837 页ISBN：
