Lecture Notes in Computer Science 4098 Term Rewriting and Applications 17th International Conference
RTA 20062006 年出版414 页ISBN：3540368345
Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 4717 UbiComp 2007:Ubiquitous Computing 9th International Conferenc
UbiComp 20072007 年出版520 页ISBN：9783540748526
Lecture Notes in Computer Science 4080 Database and Expert Systems Applications 17th International C
DEXA 20062006 年出版959 页ISBN：3540378715
Lecture Notes in Computer Science 4622 Advances in Cryptology-CRYPTO 2007 27th Annual International
2007 年出版631 页ISBN：9783540741428
Lecture Notes in Computer Science 2932 SOFSEM 2004:Theory and Practice of Computer Science 30th Conf
2004 年出版385 页ISBN：3540207791
Lecture Notes in Computer Science 4740 Entertainment Computing-ICEC 2007 6th International Conferenc
2007 年出版480 页ISBN：9783540748724
Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL
2007 年出版290 页ISBN：9783540749837
