Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN：3540291059
Lecture Notes in Computer Science 3739 Advances in Web-Age Information Management 6th International
WAIM 20052005 年出版930 页ISBN：3540292276
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
Lecture Notes in Artificial Intelligence 3963 Engineering Societies in the Agents World VI 6th Inter
ESAW 20052006 年出版303 页ISBN：3540344519
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Computer Science 3691 Computer Analysis of Images and Patterns 11th International C
CAIP 20052005 年出版865 页ISBN：3540289690
Lecture Notes in Artificial Intelligence 3518 Advances in Knowledge Discovery and Data Mining 9th Pa
PAKDD 20052005 年出版864 页ISBN：3540260765
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
Lecture Notes in Artificial Intelligence 3690 Multi-Agent Systems and Applications IV 4th Internatio
CEEMAS 20052005 年出版667 页ISBN：354029046X
Lecture Notes in Computer Science 3865 Computer Supported Cooperative Work in Design II 9th Internat
CSCWD 2005 Coventry2222 年出版0 页ISBN：
