剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 9586 与4BSD操作系统设计与实现 相关的结果,耗时5 ms rss sitemap
标签: 原作名:
作者:林宗涵 出版年月:2020-02-20 … 页数:None页 最新访问:2020-03-15 … 网友评分:
经典好书《热力学与统计物理学(第二版)》读书内容简介: 作者简介详情
标签:信号与系统,通信,教材,EE,经典,专业基础,专业,课本, 原作名:
作者:Alan V.Oppenheim 出版年月:2020-02-20 … 页数: 958页 最新访问:2020-03-20 … 网友评分: 9.0
经典好书《信号与系统》读书内容简介:信号与系统分析的基本理论基本分析方法及其应用。全书共分十一章:主要讲述了线性系统的基本理论、信号与系统的基本概念、线性时不变系统、连续舞样、通信和反馈系统中的实例,并行讲座了连结系统、离散系统、时域系统和频瑾系统的分析方法,以使读者能透乇地理解各种信...详情
标签:余英时,思想史,文化,历史,中国历史,文史传统与文化重建,文化史,国学, 原作名:
作者:余英时 出版年月:2020-02-20 … 页数: 544页 最新访问:2020-04-03 … 网友评分: 8.8
经典好书《文史传统与文化重建》读书内容简介:要以19、20世纪的文化与思想为主要研究对象,把它们当作是中国传统研究的一种延伸。此书主要收录作者自1956年到2003年的代表性论文18篇。最后一篇《试论中国人文研究的再出发》为2003年新作,对当下及今后的中国文化传统研究提出了重要看法。...详情
标签:计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,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 … 页数: 591页 最新访问:2020-04-12 … 网友评分: 8.1
经典好书《中国:传统与变革》读书内容简介:,约翰·金·费尔班克,1907年—1991年9月14日),美国著名汉学家、历史学家,哈佛大学终身教授,哈佛大学东亚研究中心的创始人。 1907年生于美国南达科他州的Huron,是其父Arthur Boyce Fairba...详情
标签:统计,统计学,数据分析,经济,统计学入门,社会/经济,入门,GS, 原作名:Statiatics for Business and Economics(10th Edition)
作者:戴维R.安德森 出版年月:2020-02-20 … 页数: 587页 最新访问:2020-05-22 … 网友评分: 9.2
经典好书《商务与经济统计》读书内容简介:ney),辛辛那提大学数量分析系教授和生产力提高中心主任。他出生在艾奥瓦州得梅因市,在德雷克大学获得工商管理学士学位,在印第安纳大学获得工商管理硕士和工商管理博士学位,并成为NDEA会员。在1978~1979年期间,斯威尼教授曾在宝洁公司管理科学小组...详情
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测, 原作名:
作者:哈斯 出版年月: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中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情
标签:占星学,天文,文化,占星,江晓原,历史,神秘主义,科学史, 原作名:
作者:江晓原 出版年月:2020-02-20 … 页数: 223页 最新访问:2020-05-25 … 网友评分: 7.2
经典好书《星占学与传统文化》读书内容简介:代中国人观念中的天人关系。书中引用了大量不常见的原始文献,既能使读者明白易懂,又具有足够的思想深度。作者在本书中提出了,“政治天文学”的概念,指出了中国历史上天文学的特点及其特殊的政治地位和作用,对我国这一自古以来影响深远且颇具神秘色彩的天人感应学说...详情