（美）帕森斯（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
本书通过大量联系实际、生动有趣的案例表明，经济学与我们的生活息息相关。本书在内容组织上也有创新。它没有因袭传统微观经济学教材内容架构，而是从供求和价格体系讲起，紧扣市场机制的工作原理展开讨论。这样...
卢凯著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岁退休，洛克菲勒创造了美国的商业神话，从无到有创建自己的财富大厦，谱写了平民阶层奋斗崛起之歌，是“美国精神”的耀眼典范。晚年洛克...
