RickRashidTang想读的书 >

• 

  陶哲轩实分析

  9.3 (359人已评价)

  陶哲轩 | 人民邮电出版社 | 2008年

  强调严格性和基础性，书中的材料从源头——数系的结构及集合论开始，然后引向分析的基础(极限、级数、连续、微分、Riemann积分等)，再进入幂级数、多元微分学以及Fourier分析，最后到达Lebesg...

  数学

  陶哲轩

  实分析

  数学分析

  Mathematics

  我对《陶哲轩实分析》的评价： 2017-06-12 我的标签： 修改
• 

  Optimizing Compilers for Modern Architectures

  7.8 (13人已评价)

  Morgan Kaufmann | 2001-10-10

  Moderncomputerarchitecturesdesignedwithhigh-performancemicroprocessorsoffertremendouspotentialgainsi...

  compiler

  编译器

  计算机

  编译原理

  Optimizing

  我对《Optimizing Compilers for Modern Architectures》的评价： 2017-06-12 我的标签： 修改
• 

  程序设计语言理论基础

  7.5 (11人已评价)

  [美] 米切尔 | 电子工业出版社 | 2006-11

  本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。...

  程序设计语言

  计算机科学

  编程语言

  计算机软件和理论

  语义

  我对《程序设计语言理论基础》的评价： 2017-06-12 我的标签： 修改
• 

  D程序设计语言

  暂无评论

  [美] Andrei Alexandrescu | 人民邮电出版社 | 2013-6

  D语言是一种通用的系统和应用编程语言，它保持了生成高效代码以及直接访问操作系统API和硬件的能力。《D程序设计语言》是一本介绍D语言的权威书籍，全面、系统、专业地讲解了D语言相关的内容。书中涵盖了D语...

  D

  编程语言

  程序设计

  编程

  计算机

  我对《D程序设计语言》的评价： 2017-06-12 我的标签： 修改
• 

  程序设计语言的形式语义

  8.1 (21人已评价)

  Glynn Winskel | 中信出版社 机械工业出版社 | 2004-1

  本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。本书是以作者在剑桥...

  计算机科学

  形式语义

  编程语言

  计算机

  计算理论

  我对《程序设计语言的形式语义》的评价： 2017-06-12 我的标签： 修改
• 

  Paradigms of Artificial Intelligence Programming

  9.7 (35人已评价)

  Peter Norvig | Morgan Kaufmann | 1991-10-01

  ParadigmsofAIProgrammingisthefirsttexttoteachadvancedCommonLisptechniquesinthecontextofbuildingmajor...

  lisp

  人工智能

  ai

  Programming

  Norvig

  我对《Paradigms of Artificial Intelligence Programming》的评价： 2017-06-12 我的标签： 修改