经典好书《我的世界·史蒂夫探险系列11·HIM军团》读书内容简介:球，一时间世界各地出现了传送门，可大家以为这只是万圣节恶作剧。然而，随着HIM现身和主世界的僵尸不断从传送门中爬出攻击人类，人们这才人时代问题的严重性。可面对强大的敌人，史蒂夫他们几乎无招架之力。更糟的是，史蒂夫的爸爸和姑姑都被HIM控制，为HIM效...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《大棋局中的国共关系》读书内容简介:冷战的转变过程。在这一过程中，意识形态发挥了重要作用，中国共产党和苏联较早开始挑战美国主导下兴建的第二次世界大战战后秩序。美国政府对中国国民党“始乱终弃”，国民党亦对美国貌合神离。在苏联的支援下，中国共产党在外交、军事、政治、财政等各方面迅速占据对中...详情

经典好书《政治经济学的国民体系》读书内容简介: 李斯特(1789－1846)是德国工业资产阶级的思想家，资产阶级经济学中历史学派的先驱者之一。在本书中，他发挥了关于国家体系经济学的学说，论证了实行关税保护以发展德国工业资本的必要。(本书据朗曼斯·洛林公司1928年版译出。)作者简介详情

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

经典好书《1993(世纪末的喧哗)/百年中国文学总系》读书内容简介:文学史著作，通过一个人物、一个事件、一个时段的透视，来把握一个时代的整体精神。“百年中国文学总系”既不是传统的历史著作，也不是编年史一类的文学史讲稿，更不是随意发挥的文学史漫谈。它通过“散点”把握一个时期的文学精神，深刻体现出了“文学”...详情

经典好书《女生的世界里总是硝烟弥漫（14岁懂社会系列）》读书内容简介:>《女生的世界里总是硝烟弥漫》是“14岁懂社会”系列的第四本（前三本为《以书为友》，《你没那么笨》，《动物园的生死告白》）。请回想一下自己的班级，那种所有女生像姐妹一般其乐融融、散发着正能量的理想情况，根本就不存在。女生小团体总是...详情

经典好书《一个知识女性的思考系列》读书内容简介:四年完成的小说三部曲，每一本都受到全球各大权威媒体的重磅推荐！《边界》被评为《纽约时报》2015年度十大图书，《卫报》21世纪百佳图书，《纽约客》2015年度书单；《过境》被评为《时代》周刊2017年度十佳虚构类书籍，入选...详情

经典好书《现代体系结构的优化编译器》读书内容简介: 现代体系结构的优化编译器，ISBN：9787111141228，作者：（美）Randy Allen，（美）Ken Kennedy著；张兆庆等译；张兆庆译作者简介详情

经典好书《中国的宗教系统及其古代形式、变迁、历史及现状》读书内容简介:古代典籍为主）相结合，运用人类学、社会学和中国学结合的观念和方法展开叙述，从西方角度对中国本土宗教进行了相当全面的介绍，包括丧葬礼仪、古代死亡与灵魂的观念、坟墓制度（帝王陵寝、义冢及各地民间坟茔）、丧葬方式、居丧习俗、风水、灵魂与祖先崇拜、投胎转世观...详情