银河帝国5:迈向基地 书籍
经典好书《银河帝国5:迈向基地》读书内容简介:绕太阳旋转的第三颗行星上,生活了十多万年之久。人类在这个小小的行星(他们称之为“地球”)上,建立了两百多个不同的行政区域(他们称之为“国家”),直到地球上诞生了第一个会思考的机器人。在机器人的帮助下,人类迅速掌握了改造外星...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第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, ...详情