The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
《搜索引擎:原理技术与系统》系统地介绍了互联网搜索引擎的工作原理、实现技术及其系统构建方案。《搜索引擎:原理技术与系统》分
《阿长与《山海经》》内容简介:本书从鲁迅作品中精选了适合青少年读者阅读的篇目,题材上偏向于作者年少的成长故事,对亲人、朋友
《企业资金管理》内容简介:企业经营管理中,管理好企业资金是企业长期持续经营与发展的基础与保障。国内大多数企业的资金管理水平
TheNazisdiscoveredit.TheAllieswonthewarwithit.Itconquereddiseases,changedlaws,an...
图形用户界面是当前人机交互的主要模式。往往会有这样错误的看法,就是认为软件界面是程序员等这样一些计算机专家的事,当前人们
老夏带你玩转考研英语大纲词汇5500词 内容简介 《老夏带你玩转考研英语大纲词汇5500词》为考生提供科学的记忆方法,方便考生快速有效记忆单词,全面提升英语应试...
CSS是一种强大而优美的工具,它的潜力远远超过我们的想象。本书中世界级CSS大师EricMeyer讲述了自己极富价值的CSS项目经验,运用
《电信交换原理》可作为通信和电子类专业本科生的教材,也可作为通信工程技术人员的培训教材或参考书。目录 第1章交换技术概论第
Visual Basic程序设计 本书特色 为了适应信息化时代的需求,各高校对大多数专业都开设了一定的计算机语言课程,有的讲授C或C++语言,有的讲授Visua...
《电子技术基础数字部分(第5版)习题全解》是为配合华中科技大学电子技术课程组编、康华光任主编、邹寿彬和秦臻任副主编的《电子技
群体智能与计算智能优化的盲均衡算法 本书特色 本书针对盲均衡理论与算法研究中初始权向量优化的难题,以智能群算法和智能计算理论为工具,开展了盲均衡算法性能优化的研...
《Java经典入门指南》内容简介:本书基于新版的Java 11编写,全面系统地介绍Java程序员必须掌握的核心基础知识,这些内容融合在三大
《AdobeDreamweaverCS5中文版经典教程》由Adobe公司的专家编写,是AdobeDreamweavelCS5软件的官方指定培训教材。全书共分为1...
《Processing开发实战》内容简介:Processing简单易学的界面和编程风格,使很多机器人爱好者或电子制作爱好者,可以借助它完成机器
《SEM深度解析:搜索引擎营销及主流网站分析实战》内容简介:网络在我们的工作与生活中的地位是毋庸置疑的,我们每天都要通过搜索引
《写给数据产品经理新人的工作笔记》内容简介:本书的目标在于,为数据产品从业新人或准备转行做数据产品的读者提供一个本领域的通
《真实世界的经济学》内容简介:经济学大家、北大国发院教授周其仁代表作。经济学基于“理性人”假设,但它应当用来解释处处“不理
《风帆五千年:历史图像中的帆船世界》内容简介:作为古老的水上交通工具,帆船见证了人们“发现”海洋、征服大自然的奋斗历程。“
高性能通信网络(原书第2版),ISBN:9787111094456,作者:(美)JeanWalrand,(美)PravinVaraiya著;张艳等译目录 出版者...
《知堂回想录(下)》内容简介:《知堂回想录》是周作人晚年回顾自己一生重要经历,写成之内容丰富的传世巨作。最初只有“北大感旧