理性的权威

（美）内格尔著；蔡仲，郑玮译2013 年出版162 页ISBN：9787532763450

《理性的权威》系美国当代著名哲学家、纽约大学教授托马斯·内格尔撰写的一部其最有影响的哲学论著。在论著中作者坚持捍卫理性，以反对主观主义的攻击，并在语言、逻辑、科学的伦理学等领域中系统地批判相对主...

魔戒 王者归来 第3部

（英）托尔金著；邓嘉宛，杜蕴慈译2013 年出版540 页ISBN：7208113033

本书是奇幻小说典范。全书分六卷和附录故事从魔戒持有者弗罗多身上展开，他在不知情的情况下继承了一枚戒指，却发现这枚戒指是黑暗魔君索隆迟迟不能统治世界的关键。他因此陷入善恶双方争夺的处境中。几经波折...

智量文论集 上

智量著2013 年出版300 页ISBN：7567511363

本书是一部文论集，以俄罗斯文学与文学史的探讨为主，兼及比较文学研究，分综论、论普希金、论屠格涅夫、论托尔斯泰、论苏联文学、论比较文学、杂论七个部分，收入《19世纪俄罗斯文学的主要特点》、《论普希金的诗...

改革开放30年中国文论建构

高楠著2013 年出版294 页ISBN：7503953586

本书是辽宁大学“社会转型与文学研究丛书”之一种，教育部“211工程”三期建设重点项目。探讨了改革开放30年以来，中国在文学理论方面建设的状况，作为人文学科的独立理论体系，它离不开社会的时代实践状况，本书着...

心灵有约情感励志系列 永远有多远

仲利民著2013 年出版378 页ISBN：9787533675769

本书是一本情感励志随笔，收集了作者有关爱情与婚姻方面思考的精美短文共120篇，分为6辑：那些美好；后窗；最美；永远有多远；因为爱，所以爱；桃花开。作者从男性的视角对爱情婚姻中的一些情感问题进行深刻的剖析，......

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

飞天著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基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...