经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《C程序设计经典教程》读书内容简介:ogram的最新版。在美国，数十万学生通过本书学习C语言。作者Deitel父子从事编程和教学工作数十年，其所著教材被誉为美国标准教材，在教育界享有盛誉。 本书新版本有以下特色： （1）应用软件工程原理讲述结构化...详情

经典好书《Go 语言程序设计》读书内容简介:公司创始人，独立的培训讲师、顾问、技术编辑，Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情

经典好书《E-Prime 实验设计技术》读书内容简介:一编是“心理实验程序设计的理论框架”，介绍心理实验程序设计的模式化方法，用于指导E-Prime的实验程序设计，也可用于指导用其他软件设计心理实验程序。第二编是“E-Prime基本实验程序设计”，重点介绍E-Prime的基本知识和基本设计技巧，包括E-...详情

经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用，并通过实例讲解了系统的面向对象分析与设计过程，以及如何用UML语言为系统建模。此外，还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例，通过实例启...详情

经典好书《设计大师SketchUP提高-(含光盘1张)》读书内容简介:计草图，更具备了精确绘图的特点，而且与其他渲染软件（例如3ds max）的衔接也是非常畅通的。SketchUp所见即所得的创作过程不仅使繁重的绘图工作变得有趣，还能充分满足与客户即时交流的需要，互动性极强。同时，SketchUp通过Ruby语言进行二...详情

经典好书《UNIX操作系统设计(英文版)》读书内容简介:系统V为背景，全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。《UNIX操作系统设计(英文版)》首先对系统内核结构做了简要介绍，然后分章节描述了文件系统、进程调度和存储管理，并在此基础上讨论了UNIX系统的高级问题，如驱动程序接口、进程间...详情

经典好书《对象设计》读书内容简介:Alan McKean在书中讨论了基于责任驱动这一概念框架之下的用户需求、系统架构和设计模式如何共同作用，从而设计出一个有效的对象模型。书中引入了大量词汇，以便设计者用于讨论设计中的各个方面。书中还提供了大量的实践性指导，可以帮助读者改进设计，提升软...详情

经典好书《用户体验草图设计工具手册（全彩）》读书内容简介:体验草图设计》的配套阅读图书，将指导你如何一步一步地用草图来表达你的设计理念，并介绍了多种草图方法。这些方法将成就你做草图的基本功，其中有的适用于完善想法，有的可以帮助你在工作组织内部交流基于体验的设计。各种草图方法会让你的设计灵感一一实现，这本书所...详情

经典好书《MFC Windows程序设计》读书内容简介:经典的第1版的全面更新，书中不仅扩展了已被认为是权威的Microsoft用于Windows API的功能强大的C++类库的阐述，还新增了有关COM、OLE和ActiveX的内容。作者Jeff Prosise用其无与伦比的技巧向读者讲述了MFC程序设计...详情