经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
计算几何(第3版) 书籍
经典好书《计算几何(第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程序设计题解与上机指导》。作者根据多年教学和写作的丰富经验,把C语言写得深入浅出,易于掌握。针...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集;从最基本的编译器链器的使用到高级过程、结构和宏的使用;从用纯汇编编写程序到用C/C++等最新编译器与汇编的混合接口编程;从16位实模式下BIOS、D...详情
边缘阅读 书籍
经典好书《边缘阅读》读书内容简介:些文字。
书分三辑。
辑一曰「書边」,收入為兩岸三地的散文小說「敲边鼓j的一些书評。
輯二日「書缘」,是作者为其朋友、同学的大作以及自己编的书写的「序」和「小引」。
輯三日「書后」。是读书之后的...详情
越缦堂读书记(全三册) 书籍
经典好书《越缦堂读书记(全三册)》读书内容简介:内容简介:越缦堂读书记,李慈铭字莼客,生于一八二九年,卒于一八九四年,浙江绍兴人。李慈铭从二十岁起写日记,直到晚年,中间只有短期的间断。《学术笔记丛刊:越缦堂读书记(套装全3册)》就是从他的日记中辑录有关读书札记的部分编写的。李慈铭逐日课记的读书心得...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
阅读梁启超 书籍
经典好书《阅读梁启超》读书内容简介:呼吸;他的《变法通议》是一新文化向旧文化宣战的第一把利剑;他的“小说界革命”的尝试为腐朽的旧文学注入第一支兴奋剂。他就是梁启超!他力主变法却踏上流亡之路;他推行共和体制却步履艰难;他指挥讨袁护国却遇重重阻拦;他与康有为同为戊戌干将,却最终分道扬镳……...详情