程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
C程序设计经典教程 书籍
经典好书《C程序设计经典教程》读书内容简介:ogram的最新版。在美国,数十万学生通过本书学习C语言。作者Deitel父子从事编程和教学工作数十年,其所著教材被誉为美国标准教材,在教育界享有盛誉。 本书新版本有以下特色: (1)应用软件工程原理讲述结构化...详情
Java编程思想 书籍
经典好书《Java编程思想》读书内容简介:介:特色:1.适合初学者与专业人员的经典的面向对象的叙述方式;为更新的Java SE5/6的相关内容增加了新的示例和章节。2.测验框架显示程序输出。3.设计模式贯穿于众多示例中:适配器、桥接器、职责链、命令、装饰器、外观、工厂方法、享元、点名、数据传...详情
Ruby基础教程 第5版 书籍
经典好书《Ruby基础教程 第5版》读书内容简介: 作者简介详情
Go 语言程序设计 书籍
经典好书《Go 语言程序设计》读书内容简介:公司创始人,独立的培训讲师、顾问、技术编辑,Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情
经典好书《Java多线程编程核心技术》读书内容简介:解,首本全面介绍Java多线程编程技术的专著结合大量实例,全面讲解Java多线程编程中的并发访问、线程间通信、锁等最难突破的核心技术与应用实践Java多线程无处不在,如服务器、数据库、应用。多线程可以有效提升计算和处理效率...详情
经典好书《Servlet与JSP核心编程》读书内容简介:2版)》在第l卷的基础上,广泛涉及自定义标签库、过滤器、声明式安全、JSTL和Struts等主题,并沿袭深受读者喜爱的写作风格,通过完整、有效、资料丰富的程序来演绎目前最流行的技术和最佳实践。Java EE已经成为电子商务网站、动态网站和Web应用与...详情
经典好书《Java Servlet编程》读书内容简介: 作者简介详情
经典好书《WINDOWS游戏编程大师技巧<第2版>(附光盘)》读书内容简介:介绍了在Windows环境下进行游戏编程所需用到的各方面知识,作者是著名的游戏开发大师Andrè LaMothe,他的每一本作品基本上都被视为游戏编程书籍的镇山之作。本书第一版的中文版自面市以来获得了广泛好评,持续热销,多次重印。此次修订在多方面更新...详情
经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查,最受程序员喜爱的开发语言中,Clojure和Scala分别位列第五和第六。排名第一的是Swift,而Swift相比原先的Objective-C最重要的优点之一,就是对函数式编程提供了更好的支持。同时,新一代分布式计算系统Spark不仅在实...详情