类型和程序设计语言

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

世界陶瓷 人类不同文明和多元文化在交融中延异的土与火的艺术 第4卷

本书从中古文明的中国古代三国两晋隋唐五代陶瓷的绚丽多姿与淳蓄神雅，宋辽、金、陶瓷、元代陶瓷的繁丽壮阔及新成就，明清时代的灿烂至极而走向衰落。...

理想的团队成员 识别和培养团队协作者的三项品德

苏联机器制造百科全书 第9卷 第15章 木工机器的类型、构造和主要参数

国际海事组织 国际海事组织 IMO 与安全有关的、适用于所有船舶和某些类型船舶的要求和建议案一览表

怎样识别和检测电子元器件

学习电子技术离不开电子元部件的识别、检测与更换，本书就是为使初学者从零开始，快速掌握电子元嚣件的识别与检测技术而编写的，本书对各种常用电子元的外形结构、作用和性能、识别及检测技术进行系统的分析和介...

环球配色惯例 750种来自世界不同地域的色彩应用实例及CMYK和RGB配色方案 设计参考

本书每一页上的具有代表性的作品实例，都选自于全世界一流的设计师及最佳的设计，均可直接用于印刷或网页设计。

煤层气成机制及经济开采基础研究丛书 典藏版 卷2 煤层气的成因和类型及其资源贡献

电子技能实训基础 电子元器件的识别和检测

本书介绍了十几类常用电子元器件的结构、分类、性能、参数和如何应用等方面的知识。

成像光谱岩矿识别方法技术研究和影响因素分析

本书探讨了高分辨率遥感成像光谱与环境干扰因素之间的关系，阐述了该成像光谱所获取的岩矿光谱特征在实际上的应用。