五仁波切糕想读的书 >
-
什么是数学
(2913人已评价)复旦大学出版社 | 2005-5《什么是数学》既是为初学者也是为专家,既是为学生也是为教师,既是为哲学家也是为工程师而写的。它是一本世界著名的数学科普读物。书中搜集了许多经典的数学珍品,给出了数学世界的一组有趣的、深入浅出的图画,对...
-
About Face 3 交互设计精髓
(1190人已评价)电子工业出版社 | 2008-11本书是一本数字产品和系统的交互设计指南,全面系统地讲述了交互设计过程、原理和方法,涉及的产品和系统有个人电脑上的个人和商务软件、Web应用、手持设备、信息亭、数字医疗系统、数字工业系统等。运用本书的交...
-
程序设计语言的形式语义
(21人已评价)Glynn Winskel | 中信出版社 机械工业出版社 | 2004-1本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。本书是以作者在剑桥...
-
程序设计语言理论基础
(11人已评价)[美] 米切尔 | 电子工业出版社 | 2006-11本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。...
-
Advanced Topics in Types and Programming Languages
暂无评论Benjamin C·Pierce | The MIT Press | 2004-12-23Thestudyoftypesystemsforprogramminglanguagesnowtouchesmanyareasofcomputerscience,fromlanguagedesigna...
-
Types and Programming Languages
(55人已评价)Benjamin C·Pierce | The MIT Press | 2002-2-1Atypesystemisasyntacticmethodforautomaticallycheckingtheabsenceofcertainerroneousbehaviorsbyclassify...
-
An Introduction to Functional Programming Through Lambda Calculus
(15人已评价)Dover Publications | 2011-8-18Thiswell-respectedtextoffersanaccessibleintroductiontofunctionalprogrammingconceptsandtechniquesfors...