Lecture Notes in Computer Science 2378 Rewriting Techniques and Applications 13th International Conf
RTA 20022002 年出版385 页ISBN：3540439161
Lecture Notes in Computer Science 2051 Rewriting Techniques and Applications 12th International Conf
RTA 20012001 年出版361 页ISBN：3540421173
Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International
FMICS 20062007 年出版364 页ISBN：9783540709510
Lecture Notes in Computer Science 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN：3540311424
Lecture Notes in Computer Science 3052 Abstract State Machines 2004 Advances in Theory and Practice
ASM 20042004 年出版235 页ISBN：3540220941
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN：3540234276
Lecture Notes in Computer Science 2965 Performance Tools and Applications to Networked Systems Revis
2004 年出版384 页ISBN：3540219455
Lecture Notes in Computer Science 4422 Fundamental Approaches to Software Engineering 10th Internati
FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software2007 年出版440 页ISBN：
