类型和程序设计语言

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...

新类型疑难刑事犯罪案例定罪量刑点评 第2版

本书由最高人民法院有关庭室的资深法官撰写。其中绝大部分案件的法律适用问题经过最高人民法院审判委员会以及有关庭室研究讨论。所收的案例几乎都是我国刑事审判的经典案例，具有典型性，借鉴指导性，点评不枝不...

萌仔，开绘啦 萌动物经典水彩手绘图解

物联网原理与应用技术

本书主要介绍了有关物联网原理及应用技术，描述了不同学科和物联网之间的关系。

儿童咏物散文诗

本书收集了我国当代近百位著名儿童文学作家的数十篇优秀散文诗。

物联网导论

本书全面系统而精要地介绍了物联网的支撑技术，作者从感知识别、网络构建、信息处理、综合应用四个方面分别介绍了相关知识与技术，既包括成熟的应用技术也包括前沿的研究成果，是一本物联网工程技术入门的教材和...

高等数学 本科少学时类型 上

本书分上、下两册出版．上册6章，内容为函数与极限，一元函数微积分，微分方程；下册４章，内容为向量代数与空间解析几何，多元函数微积分，无穷级数．本书按照适当降低理论深度，突出微积分中实用的分析和运算方法......

墨西哥湾沿岸第三纪大陆边缘构造与沉积类型及其在油气勘探中的应用

墨西哥湾沿岸第三纪大陆边缘构造与沉积类型及其在油气勘探中的应用

温馨小物亲手做

本书容纳了最全面、权威、实用的缝纫基本方法，想要自己动手制作小物件的读者可以放心地从这本书开始入门。