In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming theory that is both accessible and practical.
赞誉HackingHappinessWhyYourPersonalDataCountsandHowTrackingitCanChangetheWorld现在我们...
《Web自动化测试与Selenium 3.0从入门到实践》内容简介:本书由浅入深,结合大量实际案例,重点讲解Selenium WebDriver在企业中的应
《让高管团队更高效》内容简介:企业的命运取决于它的CEO?《让高管团队更高效》的作者们并不这么认为。相反,他们认为,在当今这个
《通信协议技术》是OHM通信实用技术系列之一。《通信协议技术》中基于以下三方面介绍通信协议技术:(1)通信协议中怎样利用图像
网页设计(DW/FL/PS)从新手到高手-(随书赠送光盘1张) 本书特色 本书是一本网页设计学习宝典,全书通过150多个实战案例,以及250多分钟全程同步语音教...
本书是美国德保罗大学DePaulUniversity教授R.Johnsonbaugh等人长期从事算法课程教学经验的结晶,是一本关于算法基础知识和基本方
《日本字体与平面设计大奖年鉴2004》内容包括:评委会主席致辞;大奖获得者获奖感言;大奖;特别奖;最佳作品;获奖作品;视觉识
微机原理与接口技术实用教程 目录 第1章 微型计算机概述.1.1 计算机的发展概况 1.1.1 计算机的发展历程1.1.2 微型计算机的发展历程1.2 微处理器...
AByteofPythonisabookonprogrammingusingthePythonlanguage.Itservesasatutorialorgui...
《凡世与神界》内容简介:从“日月崇拜”“四方四神”“动物有灵”“权力信仰”“祖先崇拜”“造神运动”六个角度,环绕日月、天地
《一日一练!色铅笔动漫手绘自学教程+练习册·综合》内容简介:在手账风行、条漫漫天、同人火爆的今日,零基础的你是否也做过画出超
ItseasytowritecorrectRubycode,buttogainthefluencyneededtowritegreatRubycode,youm...
《对话:21位重塑当代摄影的艺术家》内容简介:本书是当代影像学者、作家傅尔得近年来对当下具有影响力和潜力的国际摄影艺术家的访
《写作高手:写出好文章的40个实用技巧》内容简介:业文字工作者亲身教学 全世界最有诚意、最多伏笔的“万能写作书”手把手教你写出
《分裂者宫崎骏》内容简介:分裂感在宫崎骏的身上几乎无处不在。他是著名的反战主义者,同时也是著名的武器爱好者。童年经历让他曾
《宋学研究(第二辑)》内容简介:本书为浙江省哲学社会科学重点研究基地浙江大学宋学研究中心主办的学术辑刊。“宋学研究”学术集
内容简介Spring3.0是Spring在积蓄了3年之久后,隆重推出的一个重大升级版本,进一步加强了Spring作为Java领域第一开源平台的翘楚
Ittakesmorethanjustadesignschooleducationandakillerportfoliotosucceedinacreative...
《金融创新与金融中心建设》内容简介:本书主要从金融创新的视角研究上海国际金融中心建设和发展问题。在分析上海国际金融中心建设
R图形化数据分析 本书特色 本书介绍如何使用图形化的方法来分析和理解复杂的数据,该方法突出数据中重要的关联和分布趋势,并使用尽可能简单的视觉元素来呈现尽可能丰富...