经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
计算机组成(第6版) 书籍
经典好书《计算机组成(第6版)》读书内容简介:完全建立在“计算机是由层次结构组成的,每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新,以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层,并涵盖...详情
实时计算机图形学 书籍
经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情
计算机图形学导论 书籍
经典好书《计算机图形学导论》读书内容简介:——C语言描述》是经典的计算机图形学教材,本书是《计算机图形学原理及实践——C语言描述》一书的简写版。本书主要面向计算机图形学的初学者和没有相关技术背景的读者,主题包括基本图形学编程,硬件及应用,二维和三维图形学的重要算法,同时还包括大量的习题、示例...详情
穿越计算机的迷雾 书籍
经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中,读者可以学习到大量有趣的电学、数学和逻辑学知识,了解到它们是如何为电子计算机的产生创造条件,并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》,读者可以很容...详情
计算机科学导论 书籍
经典好书《计算机科学导论》读书内容简介:计算机科学的各个方面。本书着重讲解基本概念而不是数学模型和技术细节,通过大量的图表和演示范例讲解计算机科学的基础知识;每章后面的关键术语、小结和练习有助于读者掌握和复习知识要点。 本书既适合当作大专院校的计算机基础课教材,也可作...详情
计算机组成原理 书籍
经典好书《计算机组成原理》读书内容简介:"国家级规划教材:计算机组成原理(第2版)》内容简介:为了紧跟国际上计算机技术的新发展,《面向21世纪课程教材•普通高等教育"十一五"国家级规划教材:计算机组成原理(第2版)》对第1版各章节的内容进行了补充和修改,并增加了例题分析,以加深对各知识点的...详情
普林斯顿计算机公开课 书籍
经典好书《普林斯顿计算机公开课》读书内容简介:门名叫“我们世界中的计算机”的课程(COS 109:Computers in Our World),这门课是向非计算机专业的学生介绍计算机基本常识的,多年来大受学生追捧。除了向学生讲解计算机理论知识,这门课还有相应的实验课——学生可以试着用流行的编程...详情
计算机系统(原书第5版) 书籍
经典好书《计算机系统(原书第5版)》读书内容简介:统、汇编、高阶语言和应用等层级,系统而全面地介绍了计算机系统、C++、信息表示、计算机体系结构、汇编语言、汇编级编译、语言翻译原理、进程管理、存储管理、组合电路、顺序电路、计算机组成。书后配有练习答案。本书全面而系统地介绍了计算机组成、汇编语言和计算...详情
计算机是怎样跑起来的 书籍
经典好书《计算机是怎样跑起来的》读书内容简介:,回归到计算机的基础知识上。通过探究计算机的本质,提升工程师对计算机的兴趣,在面对复杂的最新技术时,能够迅速掌握其要点并灵活运用。本书以图配文,以计算机的三大原则为开端、相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对...详情