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.
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用 内容简介 本书是针对2019年全国计算机等级二级考试编写的辅导用书。本书严格按照新版...
●本书是作者多年来教学实践经验的总结,汇集了学员在学习课程或认证考试中遇到的概念、操作、应用等问题及解决方案●针对JavaSE
《超实用的CSS代码段》精选400余段CSS代码,覆盖网页上所有的设计元素,堪称史上最有用的CSS书籍,是网站建设和网页设计人员不可
《和田玉收藏投资购买宝典》内容简介:《和田玉收藏投资购买宝典》融知识性、实用性、文化性于一体,对和田玉的起源和发展、和田玉
《多人在线游戏架构实战:基于C++的分布式游戏编程》内容简介:本书主要讲述大型多人在线游戏开发的框架与编程实践,以实际例子来介
Multi-coreprocessorsarenolongerthefutureofcomputing-theyarethepresentdayreality....
《数字迷城:信息爆炸改变你的生活》从经济、政治和社会的角度分析和阐释了互联网技术发展及“信息大爆炸”给人类社会带来的各种机
WithPHPfortheWorldWideWeb,ThirdEdition:VisualQuickStartGuide,readerscanstartfrom...
《奇迹·笨小孩》内容简介:时间不会辜负每一个努力追逐幸福的“笨小孩”1.电影《奇迹·笨小孩》【官方授权典藏本】重磅发售! 《我
《第三层大脑》内容简介:脑机接口技术在近两年方兴未艾,促使人类更加清晰地想要去探知脑科学这最后一块人类身体的未知领域,这项
“即便我已经使用Erlang多年,在编程的时候仍然需要参考《Erlang编程指南》。不同层次的Erlang程序员都会发现本书是有价值的学习
《互联网+模型构建》内容简介:“互联网+”构建了一个庞大的跨界体系,在这个框架下,大数据、云计算、移动互联、物联网、虚拟现实
RichardBlum系统和网络管理员,已经在IT行业工作了22年多。他管理过UNIX、Linux、Novell和微软服务器,用Linuxshell脚本进行过自
你也能拍电影 内容简介 20世纪80年代以来,由电影摄影机发展而来的家庭磁带摄像机已经可以让人们随意地带到家庭、公园和街头,把这个世界的五彩缤纷留在能够重复的影...
TheVisualMiscellaneumisaunique,groundbreakinglookatthemoderninformationage,helpi...
《一日一练!色铅笔动漫手绘自学教程+练习册·综合》内容简介:在手账风行、条漫漫天、同人火爆的今日,零基础的你是否也做过画出超
PS高手炼成记-Photoshop CC 2017从入门到精通-(附光盘) 本书特色 本书是一本综合实战型的Photoshop教程,除了有理论知识、工具、抠图、...
《新安旅行团》内容简介:1935年10月10日,在陶行知先生的热切鼓励下,在校长汪达之的带领下,新安小学的学生组成了一个革命团体—
通过解剖分析现成软件的源代码来学习计算机的专业课程,是一种行之有效的途径。本书通过解剖一个LALR(1)语法分析的生成器——L
该书系统的介绍了信息设计——这一新兴知识,收录了300多张高清图片。以及荷兰、意大利、日本、中国、英国的信息设计师访谈。会让