剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 9371 与4BSD操作系统设计与实现 相关的结果,耗时4 ms rss sitemap
标签:架构,分布式系统、解决方案、架构师,架构设计,分布式,分布式系统,计算机,人人都是架构师,2017, 原作名:
作者:高翔龙 出版年月:2020-02-20 … 页数: 200页 最新访问:2020-03-15 … 网友评分: 6.6
经典好书《人人都是架构师:分布式系统架构落地与瓶颈突破》读书内容简介:破》并没有过多渲染系统架构的理论知识,而是切切实实站在开发一线角度,为各位读者诠释了大型网站在架构演变过程中出现一系列技术难题时的解决方案。《人人都是架构师:分布式系统架构落地与瓶颈突破》首先从分布式服务案例开始介绍,重点为大家讲解了大规模服务化场景...详情
标签:信号与系统,通信,教材,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...详情
标签:软件,概念,案例讲述,UML,方法, 原作名:
作者:冀振燕 出版年月:2020-02-20 … 页数: 332页 最新访问:2020-05-25 … 网友评分:
经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用,并通过实例讲解了系统的面向对象分析与设计过程,以及如何用UML语言为系统建模。此外,还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情
标签:数据库,计算机,教材,数据库理论,软件工程,DB,编程,计算机科学, 原作名:
作者:(美)Raghu Ramakrishnan Johannes Gehrke 出版年月:2020-02-20 … 页数: 775页 最新访问:2020-05-29 … 网友评分: 7.1
经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情
标签:版式设计,设计,平面设计,设计艺术,方法论,美国,设计师需要读的100本书,2018, 原作名:
作者:金伯利•伊拉姆 出版年月:2020-02-20 … 页数: 120页 最新访问:2020-05-29 … 网友评分: 8.6
经典好书《网格系统与版式设计》读书内容简介:设计案例,包括包豪斯的平面设计和耐克的产品目录,从构成要素与程序入手,对网格系统做出了通俗易懂的介绍,讲解了网格系统的应用法则,并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说,揭示了成功的设计作品是如何运用各种手段构成视觉关系的,向读...详情
标签:分布式,计算机,Distributed-System,分布式计算理论,编程,计算,计算机科学,软件架构, 原作名:Distributed Systems: Concepts and Design, Fourth Edition
作者:库劳里斯 出版年月:2020-02-20 … 页数: 927页 最新访问:2020-06-05 … 网友评分: 8.1
经典好书《分布式系统概念与设计》读书内容简介:前版已被爱丁堡大学、伊利诺伊大学、卡内基-梅隆大学、南加州大学、得克萨斯A&M大学、多伦多大学、罗切斯特理工学院等世界众多名校采纳为高级操作系统、计算机网络、分布式系统课程的教材。第4版的新内容:全新的三章内容,分别介绍对等系统、Web服务、移动与普...详情
标签:数学,拓扑学, 原作名:
作者:I. M. 辛格 出版年月:2020-02-20 … 页数:None页 最新访问:2020-06-11 … 网友评分:
经典好书《拓扑学与几何学基础讲义/数学统计学系列》读书内容简介: 作者简介详情