The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). Enjoy!
《人机交互》是学习人机交互课程的教材,介绍了人机交互的发展历史、人机交互技术、交互设备、交互系统设计方法及交互系统评估等
会声会影X5视频剪辑高手速成(全彩)(含DVD光盘1张) 本书特色 本书详细、全面、循序渐进地讲解了会声会影x5从捕获与编辑素材、添加特效、编辑音频,直到刻录输...
内容简介:现代无线通信技术一路高歌猛进,引领潮流,是发展最为迅速的技术领域。LTE是继3G之后的GSM演进方向,是4G蜂窝网络的全
《南唐二主词汇笺》内容简介:南唐二主,尤其是后主李煜,在词史上有显著地位,也是词学大师唐圭璋先生做过专题研究的重要词人。《
《中国人民大学中国法律发展报告2020》内容简介:本报告从法律规范体系、法治实施体系、法治监督体系、法治保障体系、党内法规体系
群智能算法及化工优化问题 内容简介 数学建模方法是研究化工过程的一种有效方法,由于化工过程影响因素多、波动大、反应机理复杂,因此,所建立的模型大多比较复杂,用传...
作者介绍:ChasEmerick是软件公司Snowtideinformatics的创始人。自2008年以来,致力于Clojure语言本身以及一些开源项目的开发;...
《大隋兴衰四十年2:饥饿盛世》内容简介:被称为“圣人可汗”的不是唐太宗,而是隋文帝,单从这一点就足以管窥隋朝开皇年间堪比大唐
《程序员的修炼——从优秀到卓越》是《高效能程序员的修炼》的姊妹篇,包含了CodingHorror博客中的精华文章。全书分为8章,涵盖了
MATLAB R2016a智能计算25个案例分析 本书特色 本书以MATLAB R2016a为平台,从实用的角度出发,介绍智能计算的方法,并在讲解各实现方法中给...
《涡河边的老子》内容简介:《涡河边的老子》把《老子》放在淮河流域的背景下阅读,寻找、还原了它的地理土壤,放在散文随笔的形式
Computersciencestudieshowtodescribe,predictpropertiesof,andefficientlyimplementi...
《我读:陪你读到世界尽头》内容简介:《我读:陪你读到世界尽头》是由梁文道主讲的书评集。用最简洁直白的方式带领读者领略好书的
Ifyouhavebasicprogrammingskillsanddoanykindofdataanalysis,youneedRinyourtoolkit....
本书详细地介绍使用TurboGears的丰富特殊性来实现更加快速的Web应用程序开发。主要内容包括TurboGears基础知识、SQLObject与Turb
《Grails权威指南》译自由Grails项目负责人GraemeKeithRocher编写的《TheDefinitiveGuidetoGrails》,着重介绍了...
《中国数字营销十年风云录》内容简介:十年之间,光阴流转,技术跃迁,媒介演变,数字营销的玩法越来越多样。平台更加细分化,技术
《R语言数据分析与挖掘实战》内容简介:本书共16章,分三个部分:基础篇、实战篇、提高篇。基础篇介绍了数据挖掘的基本原理,实战篇
《给青年的十二封信(经典译林)》内容简介:朱光潜赠予青年朋友的人生智慧书; 附录朱光潜谈修养、谈文学等多篇精彩文章 本书是美
《巅峰决战》内容简介:本书介绍超级计算机可以算天、算地、算人。我们使用超级计算机给大地做CT,寻找石油。分析人的基因,解读生