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

（美）帕森斯（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年代美国南北战争和战后重建时期为背景，但作者玛格丽特没有把着眼点放在战场上。她以女主人公斯佳丽的爱情故事为主线，描写了美国庄园主...

最美女人坊 玩转韩范儿 丝巾、围巾、披巾

（韩）金希珍著；柴艳秋译2012 年出版192 页ISBN：9787506489133

丝巾、围巾、披巾，看似虽小，确是在时尚完善过程中发挥重要的单品。这本书将从选择合适自己的颜色、款式和搭配的角度，告诉你怎样选择比衣服更加因人而异的丝巾、围巾、披巾。...

五代史通俗演义

蔡东藩著2012 年出版427 页ISBN：9787514903867

《历朝通俗演义》记述了从公元前221年到公元1920年间发生的重大历史事件和重要历史人物。该书在史料上遵循“以正史为经，务求确凿，以轶闻为纬，不尚虚诬”的原则；在体裁上突出“义以载事，即以道情”的特点，并且自....

洛克菲勒自传

（美）洛克菲勒著；亦言译2013 年出版216 页ISBN：9787505732285

美国石油大王——约翰·D·洛克菲勒，美国历史上最富有的人。自16岁从商到55岁退休，洛克菲勒创造了美国的商业神话，从无到有创建自己的财富大厦，谱写了平民阶层奋斗崛起之歌，是“美国精神”的耀眼典范。晚年洛克...