丑陋的胜利 解剖科索沃战争

（美）伊沃·达尔德（Ivo H.Daalder），（美）迈克尔·奥汉隆（Michael E.OHanlon）著；沈建译2001 年出版317 页ISBN：7501152195

模型检测

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

汤姆·索亚历险记

（美）马克·吐温（Twain，M.）著；朱蔓译2001 年出版256 页ISBN：7544116042

托福阅读一点通

（美）（M.布鲁凯尔）Milada Broukal著1999 年出版157 页ISBN：7806455663

托福词汇一点通

（美）（M.布鲁凯尔）Milada Broukal著1999 年出版216 页ISBN：7806455671

美国社会主义史

（美）M.希尔奎特著；朱立人译1974 年出版312 页ISBN：3017·149

电影电视制作预算

（美）韦 斯（Wiese，M.）著；单　玎译1991 年出版336 页ISBN：7500512079

昆虫生物化学

（美）罗克斯坦（Rockstein，M.）著；李绍文等译1988 年出版437 页ISBN：7030004825

书名原文:Biochemistryofinsects:本书共计14章

新闻报道与写作

（美）M.曼切尔著；艾丰等编译1981 年出版243 页ISBN：7236·001

同意的计算 立宪民主的逻辑基础

（美）詹姆斯·M.布坎南（James M.Buchanan），（美）戈登·塔洛克（Gordon Tullock）著；陈光金译2000 年出版384 页ISBN：7500428456