（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
雷英杰，邢清华，王涛等编著2005 年出版417 页ISBN：7302104298
本书主要介绍了人工智能的基础知识和应用于人工智能与专家系统领域的逻辑程序设计语言Visual Prolog两部分内容。第1部分主要介绍了人工智能的基础知识、知识的表示方法以及AI的编程基础；第2部分介绍了Visua...
（美）基普·欧文（KipIrvine）著；贺莲，黄奕利译2016 年出版547 页ISBN：9787111530367
本书是汇编语言课程的经典教材，系统介绍x86和Intel64处理器的汇编语言编程和架构。前9章为汇编语言的核心概念，包括：汇编语言基础，x86处理器架构，数据传送、寻址和算术运算，过程，条件处理，整数运算，高级过程，以......
迪米切斯·考斯特（DimitrisKottas）著2012 年出版274 页ISBN：9787121165290
本书详细介绍了混凝土的应用原理并汇总了精选案例。本书由两部分组成，介绍了混凝土吸引人的材料特性，然后通过精选的当代建筑项目来展示使用这种材料的可能性。1～4章介绍了有关水泥和混凝土的所有信息，从技术性...
徐宗昌主编；周健副主编2014 年出版266 页ISBN：9787118098556
本书依据ASD/AIA/ATA S1000D《基于公共源数据库的技术出版物国际规范》（4.1版），全面地诠释了当前XML在IETM中的应用，共分为5章。为帮助IETM创作人员掌握并使用XML语言，在系统介绍IETM发展、概念、基本语法的的基...
刘玲主编；陈松，杨芳明，姚雪梅副主编2015 年出版302 页ISBN：9787302391593
本教材将从以下几个方面进行探索从而体现其特色及创新：（1）本教材将基于Visual C++环境进行理论的讲解与实习操作。（2）本教材将通过一个具体的实例贯穿于整个教材的始终来加强学生对所学知识的系统性进行深入的了...
申少君著2013 年出版271 页ISBN：9787539835082
本书为国家社会科学基金项目研究成果，由著名国画家、书装设计师申少君先生主持完成。本书以中国画色彩语言为研究对象，涉及美术学、色彩学、文化学，运用互证法、辩证法等系统性的研究方法，将中国画色彩语言的内...
魏励编2014 年出版394 页ISBN：9787517600084
本书收录了《中华人民共和国国家通用语言文字法》、《通用规范汉字表》、《部分计量单位名称统一用字表》、《汉语拼音方案》、《汉语拼音字母名称读音对照表》、《汉语拼音正词法基本规则》、《中国人名汉...
刘方明著2017 年出版226 页ISBN：9787558027413
”情系扬州”《月亮篇》中收有扬州八怪十一家以月亮为题材入画的作品50幅，笔者以山水画家独特的视角逐幅进行赏评，图文并茂，生动地展示了”扬州八怪”诗书画印相互.融合书的艺术特点。本书前部分文字是”扬州...
