形式语言与自动机导论 书籍
经典好书《形式语言与自动机导论》读书内容简介:形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义...详情
经典好书《欧洲科学的危机与超越论的现象学》读书内容简介:的现象学》是胡塞尔最后一部重要著作。基本的手稿写于1935—1936年(1)。胡塞尔从1934年到1937年在《危机》一书的范围内进行写作。产生这部著作的外部原因,是维也纳文化协会邀请胡塞尔演讲。胡塞尔应邀于1935年5月7日在维也纳作了一次演讲,应...详情
经典好书《复杂:信息时代的连接、机会与布局》读书内容简介:让人们在互联中抱团以寻找归属感,因此创造了大大小小各类群体的认同和圈子力量的兴起,即互联的同时又产生了聚群,甚至聚群间的相斥。要如何分析这张网?如何预测它的未来变化?如何在网中寻找机会,实现突围?本书提出了4个关键概念──关系、圈子、自组织与复杂系统...详情
计算机组成与体系结构 书籍
经典好书《计算机组成与体系结构》读书内容简介: 《21世纪大学本科计算机专业系列教材•计算机组成与体系结构》以数字电路与逻辑设计(基础部分)、计算机组成( 主体部分)、计算机体系结构(提高部分)3部分内容为主线,重点讲解计算机系统的完整组成和提高性能的可行途径。作者简介详情
虚拟机设计与实现 书籍
经典好书《虚拟机设计与实现》读书内容简介:理解、层层深入的方式介绍了各种主题和算法,尤其是不同VM通用的主要技术。这些算法用图示充分解释,用便于理解的代码片段实现,使得这些抽象概念对系统软件工程师而言具像化并可编程。书中还包括一些同类文献中较少涉及的主题,例如运行时辅助、栈展开和本地接口。本...详情
兴盛与危机 书籍
经典好书《兴盛与危机》读书内容简介:運用到歷史研究中,從中國封建社會延續兩千餘年與每兩三百年爆發一次大動亂之間的關係入手分析,提出中國社會是一個超穩定系統的假說,並用這一套模式去解釋中國社會、文化兩千年來的宏觀結構變遷及其基本特點。由於本書觀點在中國產生很大的影響,在海內外學術界也普遍...详情
影片剧情摘要:
鬼屋游乐园的负责人死于自己所创的密室,他生前树敌众多,妻子、副总、秘书、员工等等都有嫌疑,众多嫌疑人中谁才是真凶?凶手又怎么从密室中离开?
详情
虚拟机的设计与实现 书籍
经典好书《虚拟机的设计与实现》读书内容简介:述了如何通过一系简单的步骤实现一个具有实用价值的运行时系统。对以下技术进行了深入的讨论:内存管理技术、TCP/IP连网技术,虚拟机与宿主代码的接口技术。总而言之,能在一个商业化运行时系统里找到的技术都在HEC虚拟机系统里有所体现。作者简...详情
影片剧情摘要:(布莱恩·布鲁姆BrianBloom配音)在追查军火贩子该隐(KyleHebert配音)时遇到了黑寡妇(詹妮弗·卡朋特JenniferCarpenter配音)和神盾局指挥官弗瑞(JohnEricBentley配音)。神盾局志在防止他们所开发的尖端武器...详情
影片剧情摘要:
孤儿吉姆,和火车司机卢克,前往龙城,营救曼陀罗国的公主李思,只为解开吉姆的身世之谜……
详情