程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
花叢腹語 书籍
经典好书《花叢腹語》读书内容简介:本來是喃喃地絮絮地說,後來講得太大聲,以至於別人只好聽見了。基本上,這些短文除了用來療治作者的綠色症候群,具有抒發功能之外,還有一點點作者自以為是的「社教」功能:想讓更多城市人從近取譬,認識更多周遭的植物,因而取材泰半以生活中及台北近郊的花木為主。<...详情
C程序设计经典教程 书籍
经典好书《C程序设计经典教程》读书内容简介:ogram的最新版。在美国,数十万学生通过本书学习C语言。作者Deitel父子从事编程和教学工作数十年,其所著教材被誉为美国标准教材,在教育界享有盛誉。 本书新版本有以下特色: (1)应用软件工程原理讲述结构化...详情
经典好书《Effective Objective-C 2.0》读书内容简介: 2.0:编写高质量ios与os x代码的52个有效方法》是世界级c++开发大师scott meyers亲自担当顾问编辑的“effective software development series”系列丛书中的新作,amazon全五星评价。从语法、...详情
Python自然语言处理 书籍
经典好书《Python自然语言处理》读书内容简介:非常易学的自然语言处理入门介绍,该领域涵盖从文本和电子邮件预测过滤,到自动总结和翻译等多种语言处理技术。在《Python自然语言处理(影印版)》中,你将学会编写Python程序处理大量非结构化文本。你还将通过使用综合语言数据结构访问含有丰富注释的数据...详情
经典好书《Introduction to Design Patterns in C++ with Qt》读书内容简介:" with Modern Design Patterns and Efficient Reuse This fully updated, classroom-tested book teaches C++ "The Qt Way," emphasi...详情
征服C指针 书籍
经典好书《征服C指针》读书内容简介:有营养的C参考书。作者是日本著名的“毒舌程序员”,其言辞犀利,观点鲜明,往往能让读者迅速领悟要领。书中结合了作者多年的编程经验和感悟,从C语言指针的概念讲起,通过实验一步一步地为我们解释了指针和数组、内存、数据结构的关系,展现了指针的常见用法,揭示了...详情
Go 语言程序设计 书籍
经典好书《Go 语言程序设计》读书内容简介:公司创始人,独立的培训讲师、顾问、技术编辑,Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情
航海的语言 书籍
经典好书《航海的语言》读书内容简介:>4种航海语言,就是4种简易密码,关键时刻能救命!用孩子喜欢的方式,详解国际信号旗、莫尔斯码、语音字母表、手旗旗语等4种国际通信规则。获得华盛顿图书馆协会汤纳奖(Towner Award,WA)提名。◎...详情
中国大百科全书·语言文字 书籍
经典好书《中国大百科全书·语言文字》读书内容简介: 作者简介详情