Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
THE SCIENCE OF SOCIETY VOLUME I
WILLIAM GRAHAM SUMNER AND ALBERT GALLOWAY KELLER1927 年出版734 页ISBN：
A DICTIONARY OF SOCIAL SCIENCE METHODS
P.MCC.MILLER AND M.J.WILSON2222 年出版124 页ISBN：
ENGLISHIN FOCUS ENGLISH IN PHYSICAL SCIENCE
J.P.B.ALLEN H.G.WIDDOWSON2222 年出版0 页ISBN：
权力中的知识分子 批判性人文主义的谱系 a genealogy of critical humanism
（美）保罗·博维（Paul A. Bove）著；萧莎译2005 年出版405 页ISBN：7214041014
THE SCIENCE OF COGNITIVE BEHAVIORAL THERAPY
STEFAN G.HOFMANN GORDON J.G.ASMUNDSON2017 年出版610 页ISBN：0128034576
