经典好书《计算机系统：系统架构与操作系统的高度集成》读书内容简介:n，拥有威斯康星大学麦迪逊分校计算机科学专业博士学位。现在是佐治亚理工学院计算机系教授，STAR Center & Korean Programs中心主任。主要研究兴趣是体系结构设计、程序设计和并行分布式系统分析。曾获得NSF授予的美国...详情

经典好书《计算机视觉中的多视图几何》读书内容简介:机视觉计算方法及其数学基础。除了上述内容外，其中多摄像机视图几何及其计算方法，值得读者关注。这是因为当前计算机的性能价格比大大提高，使人们有条件在视觉系统中使用更多的摄像机，以利用冗余的信息，来换取系统对噪声的鲁棒性。系统对噪声的鲁棒性一直是实用计算...详情

经典好书《博士的爱情算式》读书内容简介:公式2003年 获第55届日本读卖文学奖2004年 获第一届日本“书店图书大奖”2005年 日本数学协会授予小川洋子出版奖2006年 同名电影在日本上映。在《朝日新闻》评选...详情

经典好书《电机电磁场的分析与计算》读书内容简介:大学(原哈尔滨电工学院)教授，中国电工技术学会名誉理事。1953年毕业子东北工学院，1955年毕业于哈尔滨工业大学研究生班。1955，1962年在哈尔滨工业大学任讲师，1962-1978年任副教授，1979年在哈尔滨电工学院任教授至今。长期从事电机专...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《穿越计算机的迷雾》读书内容简介:带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容...详情

经典好书《计算机是怎样跑起来的》读书内容简介:，回归到计算机的基础知识上。通过探究计算机的本质，提升工程师对计算机的兴趣，在面对复杂的最新技术时，能够迅速掌握其要点并灵活运用。本书以图配文，以计算机的三大原则为开端、相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对...详情

经典好书《计算的本质》读书内容简介:by全面介绍计算理论和编程语言的设计。作者注重实用性，不仅尽量抛开复杂难懂的数学符号，而且特别选用简单快捷的编程语言Ruby，在读者熟知的背景知识下，以明晰的可工作代码阐明形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算机科学知识，...详情

经典好书《计算机的心智》读书内容简介:系统的核心内容进行分析，包括操作系统发展的历史背景、进程与线程、内存管理、文件系统、输入与输出、多核环境下的进程调度和操作系统设计。本书用大量生活实例，生动解释了操作系统中的主要难点和模糊点：锁的实现、同步机制的发展轴线、纯粹分段到段页式的演变、多核...详情