经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《唐代的长安与洛阳（地图篇）》读书内容简介:开的最主要、最大的场所。因此，了解这两个都市的宫殿、街道、道路、市场、寺庙乃至园林、住宅等等的状态和位置，或者一个街坊中知名的居住者的情况等等，对于具体地了解唐代的人文事实，十分有用。编者根据文献描绘编制了长安城图、六坡图、长安坊里图等47幅和阁本兴...详情

经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情

经典好书《心若向阳，无谓悲伤》读书内容简介:光，那一点也不丢人。别人的生活没有你想像的好，你的生活也没有自己以为的坏。你的伤痕甚至都不能比别人更独特。重要的是，生命中发生的每一件事情都自有意义，每一次的历经都应使我们变成更好的人，千万不要做一个白白吃过了上天给过的苦头之后却并不去...详情

经典好书《洛阳女儿行·卷二》读书内容简介:突现穷街僻巷，大荒山秘术鬼神莫测，在世家与权利的追逐中，爱情又能占有多少分量？历史底蕴浓郁深远，字里行问古意深厚。新武侠大师小椴如椽巨笔，重现汉唐风貌！×　　　　　　×　　　　　　×　　　　　　×　　　　　　×　　　　　　×<p...详情

经典好书《與狼同奔的女人》读书内容简介:部震撼女性靈魂的重量級巨作！全球熱賣百萬冊！◎繼《第二性》之後最受注目的女性經典！全球翻譯二十國語言，以詩和神話，呼喚女人的野性潛能！找回野性女人，找回屬於妳的力量！每個女人的內心都擁有強大力量，包含良好本能...详情

经典好书《走向世界共和国》读书内容简介:日本當代文藝評論家、思想家。1941年，生於兵庫縣。1965年，東京大學經濟學系畢業、研究所英國文學碩士班課程。歷任法政大學教授（1975–94）、耶魯大學東亞學系客座教授（1975–77）、近畿大學教授（1994–2006）、近畿大學國際人文...详情

经典好书《走向静默,如你本来》读书内容简介:拜访者的对谈，破除了人们对心灵修行的偏见，以及各种因自我概念形成的枷锁、疑惑。同时，对于如何找寻“真我”，提出了具体的“参究自我”的方法。《走向静默，如你本来》总共六百五十多个问题，从冥想、上师、修持、瑜伽等多个角度，帮助我们认识拉玛那教导的全貌，同...详情

经典好书《面向对象软件构造》读书内容简介:f Architect of Eiffel Software (based in California, http://eiffel.com) and Professor of Software Engineering at ETH Zurich, ...详情

经典好书《太阳的金色苹果》读书内容简介:上银幕的《一声惊雷》到国内所熟悉的《雾角》，从奇幻童话的东方味道到现实主义的美国风情，还有压题的《太阳的金色苹果》，每一篇小说都给读者不同的体验，展现出作者细腻而丰富的表现意图。作者简介布拉德伯里是美国最富有诗意的幻想小说...详情