剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 10166 与4BSD操作系统设计与实现 相关的结果,耗时3 ms rss sitemap
标签:目录,linux, 原作名:
作者:邱世華 出版年月:2020-02-20 … 页数: 352页 最新访问:2020-03-15 … 网友评分:
经典好书《Linux系統架構与目錄之解析》读书内容简介:案的專書,打破以往只依賴指令字典的迷思,依據系統目錄架構為主體,並設計查詢功能,以協助讀者建立Linux作業系統的整體觀感,而不再僅限於對某些服務或設定的片面了解。提供完整的系統啟動流程圖,為讀者說明各個目錄與檔案位於開機流程中的重點。...详情
标签:魏晋南北朝,西域史,余太山,魏晋南北朝史,西域记,历史,汉唐,汉史, 原作名:
作者:余太山 出版年月:2020-02-20 … 页数: 286页 最新访问:2020-03-15 … 网友评分:
经典好书《两汉魏晋南北朝与西域关系史研究》读书内容简介: 《两汉魏晋南北朝与西域关系史研究》,顾名思义,讨论的是政治关系,经济和文化关系只在必要时涉及,不是重点。本书的上编是“述考”,让原始资料说话,辅以考证和诠释,力求连贯和全面,几则较长的考释抽出来便构成下编。作者简介详情
标签:架构,分布式系统、解决方案、架构师,架构设计,分布式,分布式系统,计算机,人人都是架构师,2017, 原作名:
作者:高翔龙 出版年月:2020-02-20 … 页数: 200页 最新访问:2020-03-15 … 网友评分: 6.6
经典好书《人人都是架构师:分布式系统架构落地与瓶颈突破》读书内容简介:破》并没有过多渲染系统架构的理论知识,而是切切实实站在开发一线角度,为各位读者诠释了大型网站在架构演变过程中出现一系列技术难题时的解决方案。《人人都是架构师:分布式系统架构落地与瓶颈突破》首先从分布式服务案例开始介绍,重点为大家讲解了大规模服务化场景...详情
标签:人类学,古典学,古希腊,社会学,论人类学与古典学的关系,思想史的脉络,希腊,美国, 原作名:
作者:【美】克莱德·克拉克洪 出版年月:2020-02-20 … 页数: 105页 最新访问:2020-03-15 … 网友评分: 7.4
经典好书《论人类学与古典学的关系》读书内容简介:•K•考弗讲座”(Charles K. Colver Lectures)所做的主题演讲为基础整理而成,本书显示了他在人类学学科史以及古典学方面的渊博知识。在演讲中,他对哲学、文学、语言学以及人类学著作所涉及的内容,都能信手拈来。他的主题...详情
标签:思想史,王汎森,学术史,历史,近现代思想史,近代史,近代学术,学术, 原作名:
作者:王汎森 出版年月:2020-02-20 … 页数: 540页 最新访问:2020-03-15 … 网友评分: 9.1
经典好书《中国近代思想与学术的系谱》读书内容简介:史系学士,台湾大学历史研究所硕士,美国普林斯顿大学博士。任职于中央研究院历史语言研究所,先后担任助理研究员、副研究员、研究员、特聘研究员,其间曾任历史语言研究所副所长、所长,并于二○○四年当选中央研究院院士。著有《章太炎的思想》(台北:...详情
标签:社会学,空间研究,空间,文化研究,人文地理学,社会理论,社会,马克思主义, 原作名:Social Relations and Spatial Structures
作者:德雷克·格利高里,约翰·厄里编 出版年月:2020-02-20 … 页数: 443页 最新访问:2020-03-19 … 网友评分: 8.0
经典好书《社会关系与空间结构》读书内容简介:空社会学”,无论是对广大读者还是对社会学、社会理论等专业领域的学者来说,都似乎是一个不同寻常的举动,其学术和社会意义是需要予以说明的。的确,尽管历史学和(人文)地理学的研究中经常会涉及时代(时期)、区域等时间和空间的概念,但是,把时间和...详情
标签:信号与系统,通信,教材,EE,经典,专业基础,专业,课本, 原作名:
作者:Alan V.Oppenheim 出版年月:2020-02-20 … 页数: 958页 最新访问:2020-03-20 … 网友评分: 9.0
经典好书《信号与系统》读书内容简介:信号与系统分析的基本理论基本分析方法及其应用。全书共分十一章:主要讲述了线性系统的基本理论、信号与系统的基本概念、线性时不变系统、连续舞样、通信和反馈系统中的实例,并行讲座了连结系统、离散系统、时域系统和频瑾系统的分析方法,以使读者能透乇地理解各种信...详情
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS, 原作名:Logic in Computer Science:Modelling and Reasoning about Systems
作者:胡思 出版年月:2020-02-20 … 页数: 427页 最新访问:2020-04-04 … 网友评分: 8.6
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
标签:数据库,计算机,Database,数据库管理系统原理与设计,教材,软件开发,计算机应用Pro,清华大学出版社, 原作名:
作者:罗摩克里希纳 出版年月:2020-02-20 … 页数: 1056页 最新访问:2020-04-04 … 网友评分: 9.6
经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月:2020-02-20 … 页数: 277页 最新访问:2020-05-23 … 网友评分: 7.1
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情