孟博，王德军著2016 年出版318 页ISBN：9787030508676
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
（美）拜伦·凯蒂著；江月译2017 年出版277 页ISBN：9787201121314
本书介绍了一种自我反省的形式——“功课”。它对于每一个想法均会提出四个问题。如 “这是真的吗？”“如果没有这个想法我会怎样？”，接着凯蒂会建议把这个想法反过来，考虑一下不同的选择，比如“让自己快乐”“....
罗四维，罗晓月著2017 年出版211 页ISBN：9787512130418
本书以计算机科学技术为中心，以数学逆问题和图像处理为基础，讨论了计算机视觉检测的逆问题处理方法。本书重点介绍了用来解决数学逆问题的正则化方法及其基本原理、计算机视觉图像重建技术中的逆问题、基于前...
（日）角野荣子著；（日）秦好史郎绘；张心然译2017 年出版32 页ISBN：9787530488744
“小宝宝要来啦。”有一天，妈妈悄悄地对我说。“真的吗？”从那一瞬间，我的脑海中畅想了好多关于小宝宝的事情。既有期待，“我希望是个弟弟啊。”又有一点小小的不安，“比起我来妈妈会不会更喜欢小宝宝？”妈妈的.....
（美）威廉·F.劳黑德（William F.Lawhead）著；郭立东，丁三东译2017 年出版646 页ISBN：9787518412600
本书是一本西方哲学导论性质的教材。不仅按照历史的顺序介绍了从古希腊到现代主要哲学家的思想生平，并把每一个哲学家置于自己生活的时代背景下，梳理了哲学家思想的来龙去脉，呈现给我们一部活泼泼的西方哲学史...
齐宝成著2017 年出版60 页ISBN：9787539871639
本书是 “名家绘画技法基础教程”系列丛书中的一本，作者基于扎实的绘画功底和一线教学经验，通过展示近十教学案例的详细绘制过程，逐一讲解了构图、色调、笔触等绘制油画的基本要点及各种物体表面肌理的表现技...
柳建伟著2017 年出版481 页ISBN：9787555904397
长篇小说《英雄时代》获得第六届茅盾文学奖，入选国家六部委选定的向建党八十周年献礼十部文学作品。小说描写了两兄弟不同的情感经历和商战中的诡谲风云，笔墨触及当下大都市，涉及经济等诸多生活层面，堪称柳建伟...
王张明著2017 年出版170 页ISBN：7516187917
与国内学者单一地研究农民工消费水平、结构、行为及影响因素不同，本文遵循“理论溯源—现状描述—机理探析—实证分析—趋势预判—社会效应—对策建议”的基本思路，在翔实梳理有关农民工城乡二元消费国内外文...
（加）凯西·史汀森（Kathy Stinson）著；（加）冷沁绘2017 年出版30 页ISBN：9787515346199
本书2016年美国亲子出版奖（NAPPA），讲述一个五岁孩子与一位耄耋老人的友谊故事。五岁的哈利和92岁的华特是邻居，也是好朋友，他们每天在一起玩耍，而且华特还教给哈利很多人生的智慧。有一天，小男孩哈利必须搬家了，......
李佳著2017 年出版355 页ISBN：9787509381229
《2017年国家司法考试李佳行政法攻略》是由著名司考辅导名师李佳编写的司法考试行政法教材，在业界拥有极高口碑和人气。本书根据2017年司法考试要求以及最新法律法规和司法解释全新编写，涵盖行政法所有考试要...
