Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
Lecture Notes in Computer Science 2054 DNA Computing 6th International Workshop on DNA-Based Compute
DNA 20002001 年出版271 页ISBN：3540420762
Lecture Notes in Computer Science 2943 DNA Computing 9th International Workshop on DNA-Based Compute
DNA92004 年出版225 页ISBN：3540209301
Lecture Notes in Computer Science 2340 DNA Computing 7th International Workshop on DNA-Based Compute
DNA72002 年出版392 页ISBN：3540437754
Lecture Notes in Computer Science 4822:Asian Digital Libraries
2007 年出版519 页ISBN：9783540770930
Lecture Notes in Computer Science 3204 Goevolutionary Fuzzy Modeling
Carlos Andres Pena Reyes2004 年出版129 页ISBN：
Lecture Notes in Computer Science 4312:Digital Libraries:Achievements
Challenges and Opportunities2006 年出版574 页ISBN：9783540493754
Lecture Notes in Computer Science 109 Digital Image Processing Systems
1981 年出版353 页ISBN：3540107053
Lecture Notes in Computer Science 3919 Digital Rights Management Technolgies
Issues Challenges and Systems First International Conference2006 年出版357 页ISBN：
