蛊苗部落 悬疑考古探险小说

飞天著2013 年出版328 页ISBN：9787531729068

本书是一部悬疑小说。突如其来的一个消息，使主人公为破解父亲的死亡之谜进入内陆探寻，循着线索来到大理蝴蝶山庄，正好赶上山庄遭遇大祸。在那里他发现了父亲神秘死去的一些蛛丝马迹，为解开谜团他不得不卷入一宗...

做内心强大的女人 2

王鹏著2013 年出版247 页ISBN：9787554601587

这是一本帮助女人自立自强、戒骄戒躁，寻找幸福生活的身心修养励志书。全书的内容是从生活、心灵、社交、婚姻、事业等方面入手，探究幸福女人的共同点和不幸女人的各种不幸，通过诸如《优雅又知性，外表和性格共同...

美好城市 沉思与遐想

（美）艾伦·B·雅各布斯著；高杨译2014 年出版186 页ISBN：9787121219696

本书基于城市规划和城市设计专业，为读者介绍什么样的城市才是真正的“美好城市”。书中包含作者的大量论文和许多小故事以及作者手绘的插图，以此对美好城市进行阐释并鼓励读者参与到美好城市的规划和建设中。...

学校里的焦点解决治疗 将理论转化为实践 万千心理

（美）帕森斯（Parsons，R·D·）著；杨红梅等译2013 年出版148 页ISBN：7501993918

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

转型期基层公务员素质建设研究

李晓霞著2014 年出版313 页ISBN：9787562837725

本书从提升基层公务员素质和能力两个层面，对基层公务员必需了解和掌握的知识与技能进行了系统阐述。本书内容丰富，结构新颖，文字流畅，案例典型，针对性、操作性、适用性都比较强。...

微观经济学 现代原理

（美）考恩，（美）塔巴洛克著；王弟海译2013 年出版414 页ISBN：9787543222601

本书通过大量联系实际、生动有趣的案例表明，经济学与我们的生活息息相关。本书在内容组织上也有创新。它没有因袭传统微观经济学教材内容架构，而是从供求和价格体系讲起，紧扣市场机制的工作原理展开讨论。这样...

宝贝，吃辅食啦 4-12个月婴儿分阶辅食喂养书

黄惠珍著2013 年出版149 页ISBN：7506063258

交通信号协调控制理论模型与方法

卢凯著2013 年出版273 页ISBN：9787114109010

本书是作者在其博士论文的基础上，结合工程实践编写而成。根据交通信号协调控制理论技术的国内外研究现状，从交通控制子区划分、绿波协调控制模型建立、停车延误协调控制模型建立以及交通控制系统结构功能设计...

名著经典 飘 插图典藏本

（美）玛格丽特·米切尔著；朱攸若译2012 年出版264 页ISBN：9787514605723

本书取材于美国南北战争及战后南方重建时期的一部历史传奇。以19世纪60年代美国南北战争和战后重建时期为背景，但作者玛格丽特没有把着眼点放在战场上。她以女主人公斯佳丽的爱情故事为主线，描写了美国庄园主...