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!
BeginningHTML5andCSS3isyourintroductiontothenewfeaturesandelementsofHTML5--allth...
本书是一本专门介绍IPTV技术的图书,书中全面而系统地介绍了IPTV的体系结构、基本原理和各种关键技术,包括前端系统、编码技术、
《全球主要国家网络作战力量建设研究》内容简介:随着信息化时代的到来,网络空间成为继陆、海、空、天之后的第五维战略空间,世界
“如果你想学习如何用一款统计专家和数据挖掘专家所开发的免费软件包,那就选这本书吧。本书包括大量实际案例,它们充分体现了R软
《基于4G系统的移动服务技术》介绍了构建一种前所未有的新的业务提供的方法学、解决方案以及富有前景的深入视角。通过对未来网络
人工智能-智能系统指南-第3版-英文版 内容简介 人工智能经常被人们认为是计算机科学中一门高度复杂甚至令人生畏的学科。长期以来人工智能方面的书籍往往包含...
《国学研究(第46卷)》内容简介:本书为袁行霈先生主编、北京大学国学研究院主办之辑刊,每年两卷,此为第46卷。本期共收录相关领
《综合评价招生》内容简介:当下,我国高校招生已经从最初的单一的裸分录取方式逐渐发展为多元化的录取路径。而随着新高考改革的不
《人气编辑眼中的百种好书》内容简介:由上海市新闻出版局、上海市编辑学会共同主办的“书香上海·沪上优秀青年编辑新春荐书”活动
《人类的未来》内容简介:★人类在工业文明之后应该建立什么样的文明?在人工智能、基因工程、通信等技术爆炸式发展的当今世界,我
《图形数据可视化》内容简介:本书主要探讨理解图形数据、建立图形数据结构以及创建有意义的可视化的方法。书中通过精彩的实例分析
《多模态警示语的整体意义建构》内容简介:《多模态警示语的整体意义建构》为“当代外语研究论丛”之一,主要运用巴赫金的对话理论
多智能体系统及应用 本书特色多智能体和多智能体技术是人工智能领域活跃的研究分支。本书在2014年度“中国智能体及多智能体系统”研讨会的基础上结集而成,全书共分1...
《企业科技财税实操指南》内容简介:本书在了解研发和科技的基础上,结合企业研发活动流程与特征,概括性地介绍了激励企业研发的财
【本书目录】Introduction7WhyVintage?THeClothes14Greatvintagepieceswornbywomenlikeyou.E...
《三国不演义》内容简介:◆一部史实版《三国演义》!畅销书《大唐兴亡三百年》(原血腥的盛唐)作者王觉仁全新力作! ◆刘关张从未
AlcAnderson感谢家人对他写作的支持.a他觉得与Ryan合作是件幸运的事.aAl是萨利什库特奈大学的学术IT服务主任,1教授网络服务、网络
《软件开发的201个原则》内容简介:本书汇总了软件工程原则。原则是关于软件工程的基本原理、规则或假设,不管所选的技术、工具或语
算量就这么简单-剪力墙实例软件算量 本书特色 用软件算量*怕的是什么 不知道软件算得对不对,这是很多人不敢使用软件的真正原因。阎俊爱主编的这本《算量就这么简单-...
《你是锦瑟 我为流年》内容简介:锲而不舍地流浪,乐此不疲地拾荒。2019全新升级,畅销书作者白落梅温情讲述三毛传奇一生! 她是撒