可信软件设计 开发健壮软件的工具、技术和方法

（美）贾亚斯瓦等著；吴峻申，蒋乐天，黄诚译2013 年出版512 页ISBN：9787111428190

本书介绍了一种可在早期解决软件质量问题，使软件质量管理目标变成防止在实施阶段发生bug而不是在实施阶段中或之后发现和解决bug,名为可信任软件设计（DFTS）的综合技术。这种技术可信之处在于能在一行代码都未...

团体心理治疗基础

（美）哈罗德S.伯纳德，（美）K.罗伊·麦肯齐编著；鲁小华，阎博，张英俊译2016 年出版216 页ISBN：9787111546375

本书针对的对象为刚起步的正在受训或实践的临床医生，或至少是开始考虑使用团体心理治疗作为他们“养家糊口技能”之一的临床医生。我们的目标聚焦在特定的技术上——关于治疗性团体所涉及的一些具体细节。本...

Mechanical and physico-chemical characteristics of modified materials performance evaluation and sel

Seghir Maamir ; A. K. Haghi2016 年出版326 页ISBN：1771880929

Structure-based design of drugs and other bioactive molecules : tools and strategies

Arun K. Ghosh ; Sandra Gemma2014 年出版458 页ISBN：3527333653

万千心理 心理治疗中的智慧与慈悲 在临床实践中深化正念

（美）克里斯托弗·K.杰默（Christopher K.Germer），罗纳德·D.西格尔2017 年出版384 页ISBN：9787518412143

本书主要是写给心理治疗师们阅读使用的。本书非常详细地列出了正念取向的心理治疗师需具备的技能，同时还提供了丰富的案例，浅显易懂。同时本书还指出智慧和慈悲在正念取向的治疗师的工作中的重要作用，非常适合...

神话学文库 神话动物园 神话、传说与文学中的动物

（美）博里亚·萨克斯著；多亚楠译2017 年出版322 页ISBN：9787561395158

从伊索寓言到米老鼠，动物在人类文化里始终扮演着至关重要的角色。即便时至今日，它们所拥有的象征意义也与其置身的周遭文化一样丰富多彩。神圣的牛，诡计多端的蛇，令人害怕的狮子，优雅的天鹅，忙碌的小蜜蜂以及狡.....

20世纪世界建筑精品集锦 1900-1999 第8卷 南亚

（美）K.弗兰姆普敦（Kenneth Frampton）主编；（印）R.麦罗特拉（Rahul Mehrotra）卷主编；申祖烈，刘铁毅译1999 年出版256 页ISBN：7112037069

本书所选择的1000栋建筑只能是20世纪各国建筑师创作的极小部分，但在众多专家们的协同努力下这套丛书可以成为基本反映本世纪世界建筑成就的一份有价值的纪录，通过它，我们可以了解近一百年来世界建筑文化和历史...

创新与可技术发展

让-艾·格罗克劳德，拉金德拉·K.帕乔里，劳伦斯·图比娅娜主编；潘革平译；达米恩·迪迈依，拉菲尔·若赞，桑基维·桑德尔副主编2015 年出版240 页ISBN：9787509768648

2014专辑将目光放在创新与可持续发展主题上。全书由15篇文章组成，意在回答如下五个问题：第一，科技创新真的为可持续发展带来希望了吗？第二，在技术创新之外，什么样的社会-经济转型支持可持续发展？第三，可持续的......

论宇宙的体系

（英）伊萨克·牛顿著；赵振江译2017 年出版187 页ISBN：9787100135832

本书是牛顿划时代巨著《自然哲学的数学原理》（简称《原理》，1687年版）第三卷的原稿，写于约1685年。牛顿为了让更多的读者能理解他的宇宙系统，他在这部书用了很少的数学，把前两卷（特别是第一卷）所建立的原理用于......

社会法学的多样性与包容性 法律符号学之探索

（法）安妮·瓦格纳，（印度）维杰·K.巴蒂亚编；张法连，叶盛楠，吴萧，刘昕译2012 年出版335 页ISBN：9787562042532

本书就国际、政治和经济融合所做的尝试中所凸显出来的宗教、文化与种族领域内的包容性与多样性问题进行了深入研究。本书第一部分内容介绍了法律语言与其所体现的力量之间的关系；第二部分从视觉、立法以及阐...