程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
Go 语言程序设计 书籍
经典好书《Go 语言程序设计》读书内容简介:公司创始人,独立的培训讲师、顾问、技术编辑,Go、Python、C++、Qt和PyQt方面的技术作家。他的著作包括Rapid GUI Programming with Python and Qt、C++ GUI Programming with Qt...详情
D程序设计语言 书籍
经典好书《D程序设计语言》读书内容简介:了生成高效代码以及直接访问操作系统API和硬件的能力。《D程序设计语言》是一本介绍D语言的权威书籍,全面、系统、专业地讲解了D语言相关的内容。书中涵盖了D语言的方方面面,不但介绍了语言的表达式、语句、类型、函数、契约、模块、类和结构等基本内容,还通过...详情
程序设计语言理论基础 书籍
经典好书《程序设计语言理论基础》读书内容简介:法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据...详情
经典好书《Intel汇编语言程序设计》读书内容简介: Intel汇编语言程序设计,ISBN:9787505397880,作者:(美)Kip R.Irvine著;温玉杰等译;温玉杰译作者简介详情
经典好书《Windows环境下32位汇编语言程序设计》读书内容简介:的编程语言。它使用与C++语言相同的API接口,不仅可以开发出大型的软件,而且是了解操作系统运行细节的最佳方式。本书从编写应用程序的角度,从“Hello,World!”这个简单的例子开始到编写多线程、注册表和网络通信等复杂的程序,通过7...详情
经典好书《程序设计语言概念(影印版)》读书内容简介:fessor of Computer Science at Stanford University.he has been a featured speaker at intermational conferences;has led researc...详情
经典好书《狼图腾 : 视觉设计与叙事语言》读书内容简介: 500余幅珍藏设计稿精美呈现★ 近千个日夜的第一手幕后记录★ 来自金鸡奖最佳美术指导的独家创作笔记“我喜欢这本书和它上面的插图,它完整记录了电影《狼图腾》的创作过程,非常美妙。”“很高兴能够和...详情
C语言程序设计现代方法 书籍
经典好书《C语言程序设计现代方法》读书内容简介:计教育家,现为佐治亚州立大学数学与计算机科学系副教授。他拥有耶鲁大学计算机科学硕士学位,加州大学伯克利分校计算机科学博士学位,曾任教于佐治亚理工学院。除本书外,他还撰写了广受欢迎的著作Modula-2: A Complete Guide 和Java ...详情
平面设计我的第2语言 书籍
经典好书《平面设计我的第2语言》读书内容简介:电影制片人和教师。他先是在纽约做自由职业者,自由接案,1960年,他心血来潮去了伦敦,一待就是15年。他和另外两位英国顶级聪明的设计师一起创立了Fietcher/Forbes/Gill设计工作室。F/F/G工作室一开始只有两个助理和一个秘书。而现在,...详情