（意）格涅斯，（意）玛格丽特著2015 年出版228 页ISBN：9787111485216
形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效的描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式...
向人民履约 2008年一个民主党派成员见证的中国民主政治进程
朱永新著2018 年出版418 页ISBN：9787544082211
作者朱永新在2008年担任人大代表期间，履行参政议政职责，提出了大量高质量的提案。本书记录了朱永新这一年的两会历程，内容包括以下方面：“两会手记”，两会期间的日记；“年度提案”，两会上的提案；“参政之声”......
Robin Hanson著2017 年出版408 页ISBN：9787111581796
在经历劫掠、农耕以及工业时代后，下一个伟大的时代将会是什么？并且多久之后后代们才会从梦境中“转过弯来”，转向我们期望的遥远未来的典型结局？ 本书从两个很好而且出名的猜测着手对上述问题进行了探讨。首先...
李艳著2016 年出版318 页ISBN：9787516193846
中国的体制转型是一场“大规模的制度变迁”，它不仅是单纯制度领域的变革，更涉及主体行为和观念的适应性调整。因此，有必要将制度、行为与观念作为一个整体来看待，其中，产权制度、政府行为和官方意识形态是体制转...
杜英宗著2018 年出版274 页ISBN：9787545459067
投资银行教父杜英宗倾囊相授，以丰富的实战经验，以会计师、财务长、投资银行家与企业首席执行官等不同的角色为切入点，分析国内外经典并购的背后逻辑与成败关键。解析国际与台湾经典并购案例背后鲜为人知的实战...
京东数据研究院2018 年出版190 页ISBN：9787121338397
在未来的10-20年，“第四次零售革命”将把我们带入到一个“场景无限、货物无边、人企无间”的无界零售时代。购物将会“润物无声”地融入碎片化的生活场景中，商品与服务、数据和内容融为一体，供与需也不再泾渭...
苏童著2018 年出版365 页ISBN：9787506866798
苏童自己说过，他偏爱短篇小说，那是一种来自生理的喜爱。《世界上最荒凉的动物园》精选了苏童的若干经典短篇小说，包括了《三盏灯》《灼热的天空》《蝴蝶与棋》《玉米爆炸记》《种了一盆仙人掌》《犯罪现场》《...
董金鑫著2018 年出版270 页ISBN：9787520312134
作为第一本系统研究中国直接适用法理论和实践的专著，该书由紧密相连的三大部分六章组成。第一部分是直接适用法的基础问题，主要解决直接适用法在理论层面上的困惑，包括基本内涵和历史发展两章；作为从理论层面到...
（唐）鸠摩罗什著；施青石译2017 年出版299 页ISBN：9787552705065
本书稿是一部图文书，借鉴历代先哲对《金刚经》的阐释，采用现代画说形式，配以200多幅生动有趣的插画和100多张简明扼要的图表，更直观地表现了《金刚经》的经文涵义，用通俗的文字让普通读者能够迅速地了解这部典籍...
（瑞士）梅坦·阿尔迪蒂著；骜龙译2017 年出版271 页ISBN：9787540482282
《丈量世界的孩子》是一部文学小说。故事的三位主人公共同生活在卡拉马基，一座未能从经济危机中幸免的希腊小岛。 12岁的亚尼斯有自闭症。他几乎从不开口说话，只在脑子里默默地计算、丈量着这个世界……母亲...
