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.
《跑赢危机》内容简介:这是一本全媒体时代品牌危机管理的实战方法论。在全媒体时代,每个组织或个人都可能深陷舆论漩涡,面临“全
基于R的统计分析与数据挖掘(统计数据分析与应用丛书) 本书特色 薛薇博士编著的这本《基于r的统计分析与数据 挖掘》聚焦当今备受国内外数据分析师和数据应用者 关注...
此书是《从零开始做运营》系列的入门篇。在互联网产品经理热的今天,关于传统的网站与产品运营的书籍一直非常缺乏,很多有志于互
《我认识的唐朝诗人》内容简介:复旦大学资深教授陈尚君的《我认识的唐朝诗人》,文共30篇,前25篇是写一个诗人或者闻名诗人的人生
《西方哲学精神》内容简介:作者在分析、评价从古代到近代西方哲学史上著名的人物和流派的理论、观点的基础上,由中西比较的视点出
《家庭农场经营的理论与实践》内容简介:本书致力于帮助人们认识家庭农场这一新生事物在我国现代农业建设中的主力军作用;致力于帮
《无线通信》重点论述当前各类无线通信系统中具有普遍性和代表性的基本知识,包括基本的理论、问题、设计思路和分析方法。全书内
计算机程序设计艺术第1卷第1册(双语版) 内容简介 关于算法分析的这多卷论著已经长期被公认为经典计算机科学的定义性描述。迄今已出版的完整的三卷已经组成了程序设计...
《Linux网络管理与配置》内容简介:本书以RedHat公司的Linux RHEL Server6.4操作系统为平台,全面、系统地介绍了Linux操作系统的基
本书为知名互联网公司(明道)从市场的观察、产品的理念和自己的实践中开发的管理进步课程《高绩效团队的三个秘密》,概括了长期
《PADS VX.2 从零开始做工程之高速PCB设计(配视频教程)》内容简介:全书依据PADS VX.2版本编写,全面兼容PADS 9.X版本,详细介绍
Manyofthehighesttrafficsitesgetmorethanhalfoftheirtrafficnotthroughthebrowserbut...
《农村电商运营实战》内容简介:2017年中央一号文件明确指出要推进农村电商发展,并具体从农业企业与电商企业的对接融合、农产品电
全国专业技术人员计算机应用能力考试考前冲刺WORD2003中文字处理 本书特色 《全国专业技术人员计算机应用能力考试考前冲刺:Word 2003中文字处理》:紧...
《中国式现代化论纲》内容简介:本书是学习和阐述党的二十大关于中国式现代化重大理论的经济学著作。本书在阐明世界现代化一般特征
《C#从入门到精通(第4版)》内容简介:《软件开发视频大讲堂:C#从入门到精通(第4版)》从初学者角度出发,通过通俗易懂的语言、
本书内容上覆盖了用Android开发的大部分场景,从Android基础介绍、环境搭建、SDK介绍、Market使用,到应用剖析、组件介绍、实例演
《你就是极客!软件开发人员生存指南》是一本软件工程师的职场指南,以虚构的人物和情景描述了极客的日常工作,对他们常遇到的各
《2015年职称英语考试历年真题详解及全真模拟试卷A级(理工类)》内容简介:人事部组织的全国统一标准的职称英语考试划分为综合、理
本书由浅入深、循序渐进地讲解了Android系统的软件安全、逆向分析与加密解密技术。包括Android软件逆向分析和系统安全方面的必备