(美)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群集...
(美)DouglasE.Comer(道格拉斯.E.科默)2017 年出版668 页ISBN:9787121323133
本书在前几版的基础上进行了全面的修订与更新,系统介绍了计算机网络各方面的知识,全面翔实地讲解网络底层细节,并增加了最新的网络应用与技术。全书共分为五大部分,讲解了网络基础知识与因特网应用,数据传输技术...
张扬聪,郑维才,张亮编著2010 年出版391 页ISBN:9787112124176
本书按照我国最新颁布的《建设工程工程量清单计价规范》GB50500、《全国统一安装工程预算定额》及相关规定,详细地介绍了电气设备安装工程、给水排水采暖燃气工程、消防工程、通风空调工程、建筑弱电及智能...
中央民族大学985工程中国少数民族语言文化教育与边疆史地研究创新基地文库 汉朝语动词性结构对比与偏误分析
黄玉花著2011 年出版289 页ISBN:9787105112807
本书是中央民族大学著名教授戴庆厦主编的中央民族大学“985工程”中国少数民族语言文化教育与边疆史地研究创新基地文库新时期中国少数民族语言研究丛书之一。本书从系统论观点出发,采用微观分析和宏观把握...