科学技术进步法总论相关电子书下载

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

王善平，张静波编著2007 年出版141 页ISBN：7030193113

本书以数字化信息为主线，系统介绍了信息时代所必需了解和掌握的现代信息的概念、技术与技能的基本知识。第1-3章是基础篇；其中第1章介绍了信息的定义与信息技术历史发展，澄清了以前关于信息的混乱概念；并强调信...

隋同波，沈荣熹，张文生编2006 年出版1650 页ISBN：7119022490

本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文，以交流科技成果，促进我国与世界各国之间的科技合作为目的。

隋同波，沈荣熹，张文生编2006 年出版790 页ISBN：7119022490

本书汇集了国际上有关水泥与混凝土领域的科技发展成就的论文，以交流科技成果，促进我国与世界各国之间的科技合作为目的。

张藜总主编；罗兴波本册主编2017 年出版483 页ISBN：9787504671493

本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初，从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...

许儒航著2016 年出版237 页ISBN：9787512386303

建筑业在高速发展的过程中，也面临着一系列的问题，这要求政府加强对建筑业的监管。对建筑业进行监管的一个核心点是对建设项目的监管，因为建设项目是构成建筑业的实体，是各参与方的一个重要交互点。本文第2章在...

刘亮亮，潘中强编著2008 年出版514 页ISBN：7115174520

ASP.NET 2.0是微软精心打造的新的软件开发平台产品，该平台的核心是数据绑定技术。数据绑定技术是对数据连接、SQL命令设置、数据操作以及数据绑定控件操作等功能的大集成。将这些功能集为一体，不仅简化了与数...

范月娇著2019 年出版292 页ISBN：9787520148269

本书以交通区位论、集聚经济理论、区域空间结构理论为指导，对物流通道的内涵、物流通道的形成及其成因、物流通道区域空间效应的产生机制及其内在动力和外在表现进行了剖析。同时以数理模型和计量经济学模型...

（中国）郑志刚2019 年出版652 页ISBN：9787508855974

由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为，近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现，即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...

（美）帕丁（Partin，R.L）著；徐富明，杨阿丽，张爱宁译2006 年出版321 页ISBN：7501954844

本书针对中小学教师，特别是刚步入教师岗位的新师，对于如何组织、管理班级，进而提高学生的学习成就提供了切实可行的策略和建议，例如：创设适于学习的环境，提供成功教学课堂，建立学习型组织、树立榜样、有效的利......