面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

算法 I-IV C 实现 基础、数据结构、排序和搜索

（美）Robert Sedgwick著2003 年出版702 页ISBN：7508314816

本书作者彻底重写并充分扩展了该书的前几个版本，对各个领域中当前流行的主要算法和数据结构进行了讲解。书中介绍了很多新算法，并且针对每一种算法做出了详细解释，其程度超过了以往的各个版本。创新且详细的文...

Pattern-Oriented Analysis and Dwesign

[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN：7508322096

设计模式有着巨大威力，但要构建健壮的大规模系统，这还远远不够。面向模式的分析和设计（POAD）介绍了一种新的方法学，用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD，你就能快速构建更健壮、更...

高级英语视听说教程 引进改编版 2

Phyllis L. Lim，William Smalzer著 贾国栋主编；《高级英语视听说教程》改编组编2005 年出版170 页ISBN：704017930X

本书是高等教育出版社原版引进的美国汤姆森学习集团公司的高级听力系列教材。这套训练英语听力技巧、记录能力的教材，旨在帮助中国学生提高英语听、记和口语能力，同时介绍美国。内容涉及美国政治、经济、社会...

昆虫的私生活

（英）马琳·祖克著；王紫辰译2017 年出版357 页ISBN：9787100124324

《昆虫的私生活》译自美国著名昆虫学家马琳祖克（Marlene Zuk）教授撰写的有关昆虫研究的科普著作Sex on Six Legs。中文译稿约有210千字。《昆虫的私生活》是一本趣意盎然、引人入胜的小书，主题是昆虫的行为。...

人民法院基本解决执行难第三方评估报告 2016

中国社会科学院国家法治指数研究中心，中国社会科学院法学研究所法治指数创新工程项目组著2017 年出版121 页ISBN：9787516199213

2016年5月，最高人民法院出台了《关于落实“用两到三年时间基本解决执行难问题”的工作纲要》，对执行工作进行系统部署，明确了基本解决执行难的工作目标。围绕“基本解决执行难”的工作目标，全国四级法院从自身...

恒久漂游在“回家”的路上 21世纪以来诺贝尔文学奖获得主作品的全球圆形流散

王刚著2016 年出版156 页ISBN：9787514170474

本专著立足于对21世纪以来的6位作家—2001年诺奖得主英国作家奈保尔、2010年诺奖得主秘鲁作家略萨、2012年诺奖得主中国作家莫言、2013年诺奖得主加拿大作家门罗、2014年诺奖得主莫法国作家迪亚诺、2015年...

PHOTOSHOP CC2015数码照片处理从入门到精通

创锐设计著2016 年出版464 页ISBN：9787111543664

在数码摄影时代，要得到一幅优秀的摄影作品并不是按下快门那么简单，对数码照片进行后期处理已成为其中不可或缺的关键一步。本书以Photoshop CC 2015为软件平台，以实际应用为主导思想，结合编者多年的实践经验，全...

以案说理 《消费者行为学》自创小说及要义解析

《消费者行为学》实践课题组著2016 年出版204 页ISBN：9787509643938

2015年，《消费者行为学》实践课题组在指导老师郭震的代领下展开了消费者行为学体验与实践的小说写作，即在一个学期60个课时的时间里，通过设计、参与、评估一个完整的营销活动实践，让学生一次性感知、经历、应用...

降维打击 互联网+大数据时代颠覆性变革的力量

杨健著2016 年出版259 页ISBN：9787569912029

“降维打击”出自中国科幻作家刘慈欣的小说《三体Ⅲ·死神永生》，后被借用到管理学上，其含义可以总结为：企业竞争力可以体现在若干个维度的累加上，这些维度包括核心技术、成本优势、管理优势、人才优势、地域优...