(美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著;何自强等译2005 年出版289 页ISBN:7121007797
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本...
焊接新技术新工艺实用指导手册 技术资料·方法设备·材料·结构·计算·检验与质量管理 第2卷
王文其主编;张思,卢文玲,刘波,张亮副主编2007 年出版987 页ISBN:7900403674
焊接新技术新工艺实用指导手册 技术资料·方法设备·材料·结构·计算·检验与质量管理 第1卷
王文其主编;张思,卢文玲,刘波,张亮副主编2007 年出版448 页ISBN:7900403674
焊接新技术新工艺实用指导手册 技术资料·方法设备·材料·结构·计算·检验与质量管理 第5卷
王文其主编;张思,卢文玲,刘波,张亮副主编2007 年出版2389 页ISBN:7900403674
焊接新技术新工艺实用指导手册 技术资料·方法设备·材料·结构·计算·检验与质量管理 第3卷
王文其主编;张思,卢文玲,刘波,张亮副主编2007 年出版1450 页ISBN:7900403674
代毅,赵枫著2017 年出版301 页ISBN:7562354790
本书分析了教育信息化革命所催生的教师专业能力发展现状和相关理论研究,论述信息技术作为教师专业能力的重要性。以广东省”粤教云”项目为案例,概述了”粤教云”教学平台和系统,详细介绍了”粤教云”专项培训...
王春海著2018 年出版588 页ISBN:9787113229658
本书介绍VMware vSphere企业运维内容,包括组建传统vSphere数据中心、VSAN数据中心的实施规划、虚拟机备份与恢复、从已有物理服务器迁移到虚拟服务器、数据中心运维管理vROps、基于超整合的Virtual SAN群集...
张扬聪,郑维才,张亮编著2010 年出版391 页ISBN:9787112124176
本书按照我国最新颁布的《建设工程工程量清单计价规范》GB50500、《全国统一安装工程预算定额》及相关规定,详细地介绍了电气设备安装工程、给水排水采暖燃气工程、消防工程、通风空调工程、建筑弱电及智能...
李群芳等编著2015 年出版322 页ISBN:9787121273759
本书从嵌入式系统概念出发,以应用最广泛的51单片机为主介绍嵌入式系统开发技术。主要内容包括:单片机的内部结构、指令系统、内部各功能部件的工作原理、应用编程及外部扩展技术。本书力图体现实用性和先进性...
王臻荣,李华君,李纬纬著2017 年出版263 页ISBN:9787519600761
本书首先对Netlogo软件的下载、安装以及界面进行了简要介绍。接着将主要内容分为三篇。第一篇Netlogo编程指南,主要介绍Netlogo在模拟现实世界时,最基本要素有哪些。第二篇 Netlogo的模型的框架介绍。主要目...