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.
MATLAB GUI设计学习手记-(第3版) 本书特色《matlab gui设计学习手记》(第3版)在《matlab gui设计学习手记》(第2版)的基础上,结...
《梭罗密码》内容简介:《梭罗密码》是少年原野科幻探险系列的第六部,前四部《原野时空》《宝石幻镜》《怪物危机》《时间猎人》已
本书作者MontyNeworn是国际计算机象棋协公的主席,作者是用生动活泼的笔触描写了深蓝与卡斯帕罗夫之战这一引起全世界关注的历史事
《概念物理(英文版•原书第11版)》内容简介:在美国有超过2/3的教师使用保罗。休伊特教授的这本最畅销的概念物理教材。休伊特教授
《文化翻译与经典阐释(增订本)》内容简介:本书是作者的一部专题研究文集,分为上中下三编:上编“翻译的文化学反思”,首次在中
《欧阳修传:世俗的圣贤》内容简介:欧阳修,祖籍江西,生于四川,在湖北长大,死于安徽,葬于河南。他是一代文宗,杰出辩手,识时
Adobe Illustrator CS5中文版经典教程 本书特色 adobe公司推出的权威经典教程畅销全球17年的著名品牌图书在全世界以27种语言火爆发行Ad...
《儿童歌曲器乐演奏启蒙——扬琴》内容简介:本书是一套适于乐器初学者使用的简易曲集,包含二胡、古筝、琵琶、扬琴、竹笛、钢琴、
《一本书玩转信息图制作》内容简介:本书是一本全面揭秘信息图制作的大全,从两条线帮助读者精通信息图制作:一条是横向案例线,通
【内容介绍】本书以一个实战者的身份,全面阐述了在互联网时代直销业发生的种种变化。书中的大量案例和资料,并不是来自作者的凭
机器人简史 本书特色 本书从早期机器人说起,讲述了近代机器人的发展历程,介绍了现代机器人的发展情况,描绘了未来机器人的发展图景,并简要概括了世界各主要国家发展机...
作者简介:AriLerner是一位全栈工程师,拥有多年AngularJS经验,自办并运营AngularJS电子报ng-newsletter.com,在著名硅谷工...
《华与华超级符号案例集》内容简介:创意改变命运,创意缔造奇迹。本书全景式记录了足力健、傣妹、牛小灶、洽洽、老娘舅、立高、新
《Ansible自动化运维》内容简介:本书由一线运维人员联手打造,通过大量实例,详细讲解Ansible这个工具的自动化运维方式与技巧;从
《你是这样的人》内容简介:本书从中国共产党成立至今的时间轴上,选择中国共产党人精神谱系中具有代表性的14个精神坐标,梳理每一
《季羡林谈人生(新版)》内容简介:★几代人共读的成长经典! 季羡林九十多年人生哲思与感悟,尽在于此。★季羡林人生感悟美文精选
The"Web2.0"phenomenahasbecomemorepervasivethaneverbefore.Itisimpactingtheveryfab...
《从零开始学K线(实战操练图解版)》内容简介:在股市如此繁荣的今天,你是否想进入股市大展身手?作为股市新手,你是否因为无法读
《企业品牌管理案例》内容简介:本教材将通过解剖案例的方式,阐述企业品牌管理中的诸多知识点,涉及品牌的概念与要素、品牌战略定
《中国:推动金砖国家合作第二个黄金十年》内容简介:“求和平、谋发展、促合作、图共赢”,金砖国家“十年磨一剑”,一步一个脚印