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.
《经济学入门很简单》内容简介:看新闻谁都会,看懂新闻却不是谁都可以!不管是生活还是投资,了解经济是我们应该具备的特质。对于
《结构主义视域下中国货币政策的信贷渠道研究》内容简介:结构异质性是发展中国家经济的典型特征,这种异质性不仅是微观经济主体类
《灵活Web设计》讲述如何应用可变或不固定布局及弹性布局来实现灵活设计,以满足用户的根据自己需求而调整浏览站点的窗口大小的要
《戴世光学术年谱》内容简介:本书全面而详实地记述我国著名的经济统计学家、人口统计学家、首批经济统计学博士生导师戴世光先生学
WEB+DBPRESS是日本主流的计算机技术杂志,旨在帮助程序员更实时、深入地了解前沿技术,扩大视野,提升技能。内容侧重于Web开发的
《中国的乡村生活》内容简介:提到中国,农村注定是无法逾越的话题,传统的重农抑商政策长时间将农村置于中心地位,致使最能体现国
《我们今天怎样做父亲》内容简介:回望晚清民国,我们发现了一个教育的传奇:一个偏僻的小山村,一个寒素之家,竟然诞生出了中国近
《小创客趣玩microbit开发板编程》内容简介:本书定位于“编程入门与实践指南”,适合所有喜爱编程的青少年朋友阅读。书中对micro:
《嵌入式Linux系统开发》内容简介:通过本书,你将会学习OpenEmbedded构建系统如何工作、如何编写菜谱来构建你自己的软件组件、如何
《楚俏》内容简介:民族室内乐作品《楚俏》创作于2014年。古之楚国,以湖南、湖北为中心,另辖河南、安徽、四川、江西、江苏、浙江
《关键设计报告:改变过去影响未来的交互设计法则》讲述了交互设计所有最基本的东西:交互设计的发展历史和由来,交互设计领域里的
《作文课:让创意改变作文》内容简介:读书是为了更好的生活做准备,作文是表达自己的最好方式。本书作者谭旭东老师曾在中小学校举
《工地社会》内容简介:在科技水平、现代设备和经济条件都十分有限的集体化时代,大型水利工程何以成为可能?本书以1958~1962年甘
《物联网系统架构设计与边缘计算(原书第2版)》内容简介:本书涵盖从物联网传感器到云计算的整个物联网解决方案谱系。首先研究现代
大数据丛书模式识别与分类导论/(美)杰夫.多尔蒂 本书特色 模式识别与分类的使用是当今许多自动化电子系统的基础。然而,尽管该领域已出版了许多名著,但该主题仍然非...
FoxPro 6.0项目案例导航(含光盘) 内容简介 本书分为两大部分。**部分可视化教程:以教学讲解的方式详细剖析应用系统各界面和主要环节的制作,读者将**部...
《轻松学拼读:小学英语拼读入门教程》内容简介:本书以字母拼读体系化学习为目标,以26个字母识读和元音字母、元音字母组合、辅音
《徐肖冰传》内容简介:在摄影机后面观察历史的人,他用镜头定格20世纪中国的烽火硝烟、恩怨情仇,用影像鲜活了一段中国现代革命史
ArcGIS基础实例教程 本书特色 《ArcGIS基础实例教程》介绍了ArcGIS的重要产品ArcGIS for Desktop的基本功能,具体包括数据显示与管...
《基于4G系统的移动服务技术》介绍了构建一种前所未有的新的业务提供的方法学、解决方案以及富有前景的深入视角。通过对未来网络