Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN：3540283722
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 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN：3540224181
Lecture Notes in Computer Science 3640 Peer-to-Peer Systems III 4th International Workshop
IPTPS 20052005 年出版288 页ISBN：3540290680
人格的动力理论 中英双语·经典版=A DYNAMIC THEORY OF PERSONALITY
（德）库尔特·勒温（KURT LEWIN）著2014 年出版0 页ISBN：
The theory of the chemostat dynamics of microbial competition
Hal L.Smith ; Paul Waltman2222 年出版0 页ISBN：
UNDERSTANDING KNOWLEDGE AS A COMMONS FROM THEORY TO PRACTICE
CHARLOTTE HESS AND ELINOR OSTROM2007 年出版367 页ISBN：
