RickRashidTang想读的书 >
-
Optimizing Compilers for Modern Architectures
(13人已评价)Morgan Kaufmann | 2001-10-10Moderncomputerarchitecturesdesignedwithhigh-performancemicroprocessorsoffertremendouspotentialgainsi...
-
程序设计语言理论基础
(11人已评价)[美] 米切尔 | 电子工业出版社 | 2006-11本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。...
-
D程序设计语言
暂无评论[美] Andrei Alexandrescu | 人民邮电出版社 | 2013-6D语言是一种通用的系统和应用编程语言,它保持了生成高效代码以及直接访问操作系统API和硬件的能力。《D程序设计语言》是一本介绍D语言的权威书籍,全面、系统、专业地讲解了D语言相关的内容。书中涵盖了D语...
-
程序设计语言的形式语义
(21人已评价)Glynn Winskel | 中信出版社 机械工业出版社 | 2004-1本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。本书是以作者在剑桥...
-
Paradigms of Artificial Intelligence Programming
(35人已评价)Peter Norvig | Morgan Kaufmann | 1991-10-01ParadigmsofAIProgrammingisthefirsttexttoteachadvancedCommonLisptechniquesinthecontextofbuildingmajor...