徐莉娜主编；刘凤，杨帆，葛燕君等译2014 年出版474 页ISBN：9787543699120
本丛书精心挑选世界各界名人的演讲词，演讲者来自不同领域、拥有不同背景与经历，题材涉猎广泛、风格迥异，内容涵盖了政治、经济、社会等前沿问题，还包括与大学生自身发展息息相关的热点问题。他们或讲述其奋斗历...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（英）波林·威尔斯（Pauline Wills）著；徐强等译2005 年出版135 页ISBN：7508428013
本书以浅显易懂的语言，精美通俗的图片介绍了手足按摩的基本技法和步骤，使广大按摩爱好者对手足疗法有基本的了解，并通过具体实践实现个人健康和保健。作者拥有多年的实践指导经验和理论水平，全书兼具科学性、易...
（苏）伦兹（Г.Л.Лунц），（苏）艾尔斯哥尔茨（Л.Э.Эльсгольц）著；熊振翔等译1960 年出版264 页ISBN：13010·764
（德）伯恩德尔等编著；黄洋，赵立行，周兵等译2012 年出版217 页ISBN：9787222093874
本书记录了反殖民中觉醒的亚非拉美国家。
（丹）叶斯柏森著；何勇等译2010 年出版560 页ISBN：9787100073240
本书是当今世界最重要的语言学著作之一。作者通过分析大量的语言材料，探讨了普通语言学的一系列问题，提出了很多独到的见解，对中国语言学界也产生过重要的影响。...
（英）宾南等著；于梅等译2007 年出版190 页ISBN：7534241847
本书为动物百科类彩色儿童科普读物，从英国DK公司引进版权，内容包括“海洋动物的24小时”、“雨林动物的24小时”、“草原动物的24小时”、“沙漠动物的24小时”四大部分，配有600多幅精美的动物写真图片，24小时...
