Erlang编程指南 书籍
经典好书《Erlang编程指南》读书内容简介:候仍然需要参考《Erlang编程指南》。不同层次的Erlang程序员都会发现本书是有价值的学习和参考资料。”——Steve Vinoski,《IEEE Internet Computing》专栏作家《Erlang编程指南》...详情
经典好书《计算机图形学几何工具算法详解》读书内容简介: 作者简介详情
C程序设计 书籍
经典好书《C程序设计》读书内容简介:法规则和利用C语言进行程序设计的方法,并通过大量实例程序进行了说明。每章后附有习题。有配套丛书,《C程序设计题解与上机指导》。作者根据多年教学和写作的丰富经验,把C语言写得深入浅出,易于掌握。针...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
C现代编程 书籍
经典好书《C现代编程》读书内容简介:限编程、测试驱动开发、重构、持续集成这些现代编程方法应用到C语言的嵌入式开发中去。即将服务器站点中的通用设计方法、工具的使用方法、开发方式等逐一“翻译”成为可以在C语言嵌入式开发过程中使用的方法。作者简介作者简介:...详情
经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集;从最基本的编译器链器的使用到高级过程、结构和宏的使用;从用纯汇编编写程序到用C/C++等最新编译器与汇编的混合接口编程;从16位实模式下BIOS、D...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
计算机组成(第6版) 书籍
经典好书《计算机组成(第6版)》读书内容简介:完全建立在“计算机是由层次结构组成的,每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新,以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层,并涵盖...详情
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情
金融计量经济学导论 书籍
经典好书《金融计量经济学导论》读书内容简介:MBA学生),这些学生需要掌握广泛的现代计量经济技术。同时我们也希望,该书对需要了解金融领域广泛使用的统计工具的研究者(包括理论型的和应用型的)有所帮肋。本书还可用于金融学、金融经济学、证券和投资学的本科生或研究生的金融时间序列分析或金融计量经济学课...详情