经典好书《软件设计重构》读书内容简介:yanarayana印度班加罗尔西门子公司研究与技术中心高级核心专家、高级研究科学家。Ganesh SamarthyamCodeOps Technologies创始人之一，曾任西门子公司软件架构与开发小组成员...详情

经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新，以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的，还有1/3的内容进行了完全重写。在本书中，三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现，接下...详情

经典好书《计算几何（第3版）》读书内容简介: emerged from the field of algorithms design and analysis in the late 1970s. It has grown into a recognized discipline with i...详情

经典好书《计算机图形学几何工具算法详解》读书内容简介: 作者简介详情

经典好书《C程序设计》读书内容简介:法规则和利用C语言进行程序设计的方法，并通过大量实例程序进行了说明。每章后附有习题。有配套丛书，《C程序设计题解与上机指导》。作者根据多年教学和写作的丰富经验，把C语言写得深入浅出，易于掌握。针...详情

经典好书《实时碰撞检测算法技术》读书内容简介:问题相关的高效解决方案及相应的数据结构和算法，主要包括：碰撞检测系统中的设计问题、数学和几何学入门、包围体、基本图元测试、层次包围体技术、空间划分、BSP树层次结构、凸体算法、基于GPU的碰撞检测、数值健壮性、几何健壮性以及优化操作。另外，《实时碰撞...详情

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

经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集；从最基本的编译器链器的使用到高级过程、结构和宏的使用；从用纯汇编编写程序到用C／C++等最新编译器与汇编的混合接口编程；从16位实模式下BIOS、D...详情

经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《萬古云霄》读书内容简介:洋大学（今天津大学）电机系学士，美国宾夕法尼亚大学科学硕士，英国剑桥大学哲学博士。曾任美国普林斯顿大学副研究员，休斯顿大学教授，香港中文大学讲座教授，波士顿大学研究教授；原香港中文大学电子工程系荣誉教授。陈先生深具人文素养，擅长写作散文。散文有《大学...详情