程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
Go 语言程序设计 书籍
经典好书《Go 语言程序设计》读书内容简介:公司创始人,独立的培训讲师、顾问、技术编辑,Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情
经典好书《MFC Windows程序设计》读书内容简介:经典的第1版的全面更新,书中不仅扩展了已被认为是权威的Microsoft用于Windows API的功能强大的C++类库的阐述,还新增了有关COM、OLE和ActiveX的内容。作者Jeff Prosise用其无与伦比的技巧向读者讲述了MFC程序设计...详情
C程序设计 书籍
经典好书《C程序设计》读书内容简介:年生,广东台山人。1985年清华大学自动控制系毕业。学生时代曾担任清华大学学生会主席、北京市人民代表。他是我国计算机普及和高校计算机基础教育开拓者之一,现任全国高等院校计算机基础教育研究会会长、教育部一国计算机应用技术证书考试委员会主任委员和教育部全...详情
大规模C++程序设计 书籍
经典好书《大规模C++程序设计》读书内容简介:小且较好管理的组件层次结构(不是继承)的过程。这种具有非循环物理依赖的系统的维护、测试和重用从根本上比相互紧密依赖的系统更容易且更经济。此外,本书还说明了遵从好的物理设计和逻辑设计规划的动机。Lakos给读者提供了一系列用来消除循环依赖、编译时依赖和...详情
经典好书《前端工程化:体系设计与实践》读书内容简介:工程师的工作效率,加快Web开发迭代速度,是现在前端开发领域中非常重要的一环。前端工程化:体系设计与实践》系统、全面地介绍了前端工程体系的各个环节,包括设计要点和实践经验。全书分为7章,分别是前端工程简史、脚手架、构建、本地开发服务器、部署、工作流、...详情
经典好书《JavaScript高级程序设计:第2版》读书内容简介:》在上一版基础上进行了大幅度更新和修订,融入了近几年来JavaScript应用发展的最新成果,几乎涵盖了所有需要理解的重要概念和最新的JavaScript应用成果。从颇具深度的JavaScript语言基础到作用域(链),从引用类型到面向对象编程,从极...详情
经典好书《实战Java高并发程序设计(第2版)》读书内容简介:单一程序,随着多核CPU的发展,并行程序开发变得尤为重要。《实战Java高并发程序设计(第2版)》主要介绍基于Java的并行程序设计基础、思路、方法和实战。第一,立足于并发程序基础,详细介绍Java进行并行程序设计的基本方法。第二,进一...详情
LUA程序设计(第2版) 书籍
经典好书《LUA程序设计(第2版)》读书内容简介:),在少年时由于喜好计算机游戏而喜爱上计算机编程,对各类开发技术皆有涉猎。曾从事过2年游戏程序设计专业的教育工作,之后在上海Ubisoft工作,参与Splinter Cell 4(Xbox 360)、Rayman 4(Xbox 360)等项目开发。现...详情
经典好书《Microsoft.NET框架程序设计》读书内容简介:修订版)是《微软.NET程序员系列》丛书之一,主要介绍如何开发面向Microsoft.NET框架的各种应用程序。Microsoft.NET框架是微软公司推出的新平台,包含通用语言运行时(CLR)和.NET框架类库(FCL)。《Microsoft.NE...详情