计算几何(第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大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
阅读梁启超 书籍
经典好书《阅读梁启超》读书内容简介:呼吸;他的《变法通议》是一新文化向旧文化宣战的第一把利剑;他的“小说界革命”的尝试为腐朽的旧文学注入第一支兴奋剂。他就是梁启超!他力主变法却踏上流亡之路;他推行共和体制却步履艰难;他指挥讨袁护国却遇重重阻拦;他与康有为同为戊戌干将,却最终分道扬镳……...详情
维特根斯坦读本 书籍
经典好书《维特根斯坦读本》读书内容简介:个仅有的具有两种哲学体系的哲学大家的思想进行分门别类的专题解读。是极好的分析理解维特根斯坦思想观点和体系的辅导性读物,也是开创了对经典文本阅读评点的新的形式。作者简介陈嘉映,中国著名的哲学教授之一,也是海德格尔和维特根斯坦...详情