程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
C程序设计经典教程 书籍
经典好书《C程序设计经典教程》读书内容简介:ogram的最新版。在美国,数十万学生通过本书学习C语言。作者Deitel父子从事编程和教学工作数十年,其所著教材被誉为美国标准教材,在教育界享有盛誉。 本书新版本有以下特色: (1)应用软件工程原理讲述结构化...详情
经典好书《Java多线程编程核心技术》读书内容简介:解,首本全面介绍Java多线程编程技术的专著结合大量实例,全面讲解Java多线程编程中的并发访问、线程间通信、锁等最难突破的核心技术与应用实践Java多线程无处不在,如服务器、数据库、应用。多线程可以有效提升计算和处理效率...详情
不可思议的旅程 书籍
经典好书《不可思议的旅程》读书内容简介:画出的任何东西都可以变成真的。她在卧室墙上画了一扇门,当门打开时,她发现自己进入了另一个国度,一场不可思议的旅程就此开始……本书仅用图画讲述了一个激动人心的历险故事,画面细节丰富,场景衔接自然流畅,情节的推进更是扣人心弦,原本静态的图画仿佛电影一般充...详情
经典好书《编写高质量代码:改善Python程序的91个建议》读书内容简介:为你编写健壮、优雅、高质量的Python代码提供切实帮助!内容全部由Python编码的最佳实践组成,从基本原则、惯用法、语法、库、设计模式、内部机制、开发工具和性能优化8个方面深入探讨了编写高质量Python代码的技巧与禁忌,一共总结出91条宝贵的建...详情
父与子的编程之旅 书籍
经典好书《父与子的编程之旅》读书内容简介:者是一对父子,他们以Python语言为例,详尽细致地介绍了Python如何安装、字符串和操作符等程序设计的基本概念,介绍了条件语句、函数、模块等进阶内容,最后讲解了用Python实现游戏编程。书中的语言生动活泼,叙述简单明了。 为了让学习者觉得编程有...详情
承认的过程 书籍
经典好书《承认的过程》读书内容简介:罗•利科逝世前出版的最后一部重要著作,初版于2004年,系利科在奥地利维也纳人学研究所和德国弗莱堡大学胡塞尔档案中心所作的三次报告的结集。《承认的过程》从哲学、词源学、词典编撰学、思想史、比较语言学、人类学和政治学的视角出发,考察了“承认”这个词的词...详情
民主的历程 书籍
经典好书《民主的历程》读书内容简介:去活力的观念认为,人类政治社会应当由普通人(即成年公民),而不是由超人统治。虽然,这不是对我们生活的世界真实状况的合理描述,但它却成为衡量世界应当如何的主导观念。《民主的历程》所论,即是它的历史和意义。这个观念,自身意思十分清楚,但它的奇怪悖理,却让...详情
写给所有人的编程思维 书籍
经典好书《写给所有人的编程思维》读书内容简介:码,最重要的就是指创造性地解决问题、表达思想。把编程语言的过去、现在,也许还有未来,紧紧联系在一起的,其实是一整套核心概念,这些核心概念都源于计算机科学、逻辑学和数学——这也正是本书将要探讨的内容。在本书学习编程思维的过程...详情
松本行弘的程式世界 书籍
经典好书《松本行弘的程式世界》读书内容简介:>本書以松本行弘先生對程式本質的深層認知、各種技術之優缺點的掌握,闡述Ruby這套程式語言的設計理念,並由此延伸讓您一窺程式設計的奧妙之處。本書內含許多以Ruby、Lisp、Smalltalk、Erlang、JavaScript等動態語言所寫成...详情