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 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
Lecture Notes in Computer Science 4074 Secure Mobile Ad-hoc Networks and Sensors First International
MADNES 2005 Singapore2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN：9783540727323
Lecture Notes in Computer Science 4080 Database and Expert Systems Applications 17th International C
DEXA 20062006 年出版959 页ISBN：3540378715
Lecture Notes in Computer Science 3203 Field-Programmable Logic and Applications 14th International
FPL 20042004 年出版1198 页ISBN：3540229892
Lecture Notes in Computer Science 4583 Typed Lambda Calculi and Applications 8th International Confe
TLCA 20072007 年出版397 页ISBN：9783540732273
Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Confe
TLCA 20052005 年出版433 页ISBN：3540255931
Lecture Notes in Computer Science 720 Database and Expert Systems Applications 4th International Con
DEXA931993 年出版770 页ISBN：3540572341
