并行程序设计原理 书籍
经典好书《并行程序设计原理》读书内容简介: 《并行程序设计原理》内容新颖,涉及现代并行硬件和软件技术,包括多核体系结构及其并行程序设计技术。《并行程序设计原理》侧重论述并行程序设计的原理,并论述了并行程序设计中一些深层次问题,如可扩展性、可移植性以及并行程序设计应遵循的方法学等。作者简介详情
校雠广义:校勘编 书籍
经典好书《校雠广义:校勘编》读书内容简介:含的中华古老文明,怎样与现代的自然科学、社会科学与人文科学相接轨,已经引起中国和世界学人的关切与重视。改革开放以来,已有不少学者,解放思想,开拓进取,站在当今学术发展的高度,进行真正符合科学意义的独立的研究,取得了丰硕的成果。 国...详情
中州集校订 书籍
经典好书《中州集校订》读书内容简介: 張靜,忻州師範學院中文系副教授,主要從事宋、金文學研究,主要著作有《宋詞說略》等。曾發表金代文學、文獻論文多篇,主持國家、教育部、山西省社科項目多項,現擔任忻州師範學院元好問研究所所長。作者简介详情
大话设计模式 书籍
经典好书《大话设计模式》读书内容简介:编程示例来组织讲解GOF(设计模式的经典名著——Design Patterns:Elements of Reusable Object-Oriented Software,中译本名为《设计模式——可复用面向对象软件的基础》的四位作者EIich Gam...详情
软件设计重构 书籍
经典好书《软件设计重构》读书内容简介:yanarayana印度班加罗尔西门子公司研究与技术中心高级核心专家、高级研究科学家。Ganesh SamarthyamCodeOps Technologies创始人之一,曾任西门子公司软件架构与开发小组成员...详情
经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
C程序设计 书籍
经典好书《C程序设计》读书内容简介:法规则和利用C语言进行程序设计的方法,并通过大量实例程序进行了说明。每章后附有习题。有配套丛书,《C程序设计题解与上机指导》。作者根据多年教学和写作的丰富经验,把C语言写得深入浅出,易于掌握。针...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《Intel汇编语言程序设计》读书内容简介:程序设计(第5版)》全面细致地讲述了汇编语言程序设计的各个方面。从微处理器体系结构、工作机制到指令集;从最基本的编译器链器的使用到高级过程、结构和宏的使用;从用纯汇编编写程序到用C/C++等最新编译器与汇编的混合接口编程;从16位实模式下BIOS、D...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情