（美）艾伦·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
本书通过大量联系实际、生动有趣的案例表明，经济学与我们的生活息息相关。本书在内容组织上也有创新。它没有因袭传统微观经济学教材内容架构，而是从供求和价格体系讲起，紧扣市场机制的工作原理展开讨论。这样...
卢凯著2013 年出版273 页ISBN：9787114109010
本书是作者在其博士论文的基础上，结合工程实践编写而成。根据交通信号协调控制理论技术的国内外研究现状，从交通控制子区划分、绿波协调控制模型建立、停车延误协调控制模型建立以及交通控制系统结构功能设计...
（美）玛格丽特·米切尔著；朱攸若译2012 年出版264 页ISBN：9787514605723
本书取材于美国南北战争及战后南方重建时期的一部历史传奇。以19世纪60年代美国南北战争和战后重建时期为背景，但作者玛格丽特没有把着眼点放在战场上。她以女主人公斯佳丽的爱情故事为主线，描写了美国庄园主...
（韩）金希珍著；柴艳秋译2012 年出版192 页ISBN：9787506489133
丝巾、围巾、披巾，看似虽小，确是在时尚完善过程中发挥重要的单品。这本书将从选择合适自己的颜色、款式和搭配的角度，告诉你怎样选择比衣服更加因人而异的丝巾、围巾、披巾。...
蔡东藩著2012 年出版427 页ISBN：9787514903867
《历朝通俗演义》记述了从公元前221年到公元1920年间发生的重大历史事件和重要历史人物。该书在史料上遵循“以正史为经，务求确凿，以轶闻为纬，不尚虚诬”的原则；在体裁上突出“义以载事，即以道情”的特点，并且自....
