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.
Newmediathrivesoncyclesofobsolescenceandrenewal:fromcelebrationsofcyber-everythi...
SystemVerilog验证 本书特色 本书可以作为学习system verilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子,这些例...
数据清洗是数据挖掘与分析过程中不可缺少的一个环节,但因为数据类型极其复杂,传统的清洗脏数据工作单调乏味且异常辛苦。如果能
《构建跨平台app:jquerymobile移动应用实战》分为4篇,第一篇是移动开发入门篇,介绍了jquerymobile、html5和移动开发的一些基础
内容介绍:文字在浩涉的文明岁月中幻化出千姿百态,于是,才会有这本文字美丽的书。从书中,也许你可读出一部中国文字美丽的历史
《移动App测试的22条军规》内容简介:本书全面讲解了移动App测试的技术、技巧、工具、案例和测试用例,全书共分23章,主要内容为:
本书整合了自1999年《Java虚拟机规范(第2版)》发布以来Java世界所出现的技术变化。另外,还修正了第2版中的许多错误,以及对目
从零开始学Eclipse-(附赠光盘) 本书特色 首先本书的读者定位为eclipse的初学者,也包括java的初学者。先让初学者认识eclipse,然后从ecl...
《宋诗鉴赏》内容简介:《宋诗鉴赏》是“新选中国名诗1000首”丛书中的一种,是由南京大学文科资深教授、博士生导师莫砺锋先生注评
无线自适应接入机制及OPNET仿真 本书特色 《无线自适应接入机制及opnet 仿真》主要介绍了基于ieee802.11协议的无线接入优化机制和自适应接入机制的...
《人心红利2:突破流量瓶颈的增长方法论》内容简介:品牌大爆炸时代,消费品市场的老将们与大批国货新锐同台竞技,对消费者的争夺也
《剪发技术专业图解教程》内容简介:本书以发型层次为线索,通过4种层次分别在颈部、后脑区、侧发区、顶发区、脸周围的不同表现,详
《Java Web程序设计》内容简介:本书以Web开发流程为主线,让读者了解真实的Web开发过程,体会规范化、标准化、专业化的软件开发流
Thisexuberantselectionoftypographicfontsandstylestracesthemodernevolutionofthepr...
Geomagic Studio逆向工程技术及应用-(含光盘) 本书特色 《Geomagic Studio逆向工程技术及应用》是由清华大学出版社出版的。Geoma...
ArcSWAT 2009用户指南 本书特色 温切尔编著的《ArcSWAT2009用户指南》内容介绍:SWAT作为一个在非点源污染模拟领域的同际性模型已持续30多...
Mozillaisnotjustabrowser.Mozillaisalsoaframeworkthatallowsdeveloperstocreatecros...
ReadytocommittousingmoreCSSonyoursites?Ifyouareahands-onlearnerwhohasbeentoyingw...
《DirectX9.03D游戏开发编程基础》主要介绍如何使用DirectX9.0开发交互式3D图形程序,重点是游戏开发。全书首先介绍了必要的数学
《优雅人生:格雷斯·霍珀和信息时代的创新》不仅仅是一本人物传记类图书,也是一本计算机编程史的记录本。本书不仅将计算机领域的