（美）小沃尔特·M.米勒（Walter M.Miller，Jr）著；俞建青译2004 年出版316 页ISBN：7536454848
本书为科学幻想小说。书中讲述核战以后，人类文明倒退回黑暗时代。700年后的莱博维茨偶然间发现了一份20世纪工程写下的备忘录，借助于它，人们可以探索遥远的人类文明兴旺发达的过去。...
PIONEERS OF PSYCHOLOGY A HISTORY FOURTH EDITION
RAYMOND E.FANCHER ALEXANDRA RUTHERFORD2012 年出版691 页ISBN：0393935301
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
SWEET POISON:A JACK DONNE MYSTERY
WILLIAM RELLING JR.1998 年出版230 页ISBN：0802733166
BENIGN DISEASES OF THE VULVA AND VAGINA
HERMAN L.GARDNER RAYMOND H.KAUFMAN1969 年出版359 页ISBN：
AMERICAN KERNEL LESSONS:INTERMEDIATE STUDDENTS TESTS
EDWIN T.CORNELIUS JR1978 年出版27 页ISBN：
STEINBECK AND THE ENVIRONMENT INTERDISCIPLINARY APPROACHES
JR AND ELAINE STEINBECK1997 年出版0 页ISBN：
STRATEGIC MANAGEMENT:CONCEPTS CASES:SEVENTH EDITION
ARTHUR A.THOMPSON JR.1992 年出版948 页ISBN：
