UNIX系统V/386第4版 程序员指南 SCSI驱动程序界面 Programmer's guide:SCSI driver interface
尤晋元主审1992 年出版45 页ISBN:7505316737
樊继达著2018 年出版202 页ISBN:9787010196268
改革开放以来,“规模赶超型”中央政府、“学习模仿型”企业与“增长竞争型”地方政府对中国经济的高速增长贡献巨大。随着人口红利渐行渐远,资源环境约束日渐增强,经济结构性矛盾凸显,投资驱动力衰减,既有的发展...
蒋团标,张海丰,廉超等著2018 年出版308 页ISBN:9787520135399
经济新常态下,我国经济增长由要素驱动转向创新驱动,为从供给侧研究珠江-西江经济带产业经济持续发展,有必要对珠江-西江经济带创新驱动产业转型升级的现状作全面调查。珠江—西江经济带规划范围包括广东省的广...
李娜著2011 年出版187 页ISBN:9787303121694
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
黄烨菁等著2019 年出版227 页ISBN:9787543229501
本书围绕如何将上海建成具有全球影响力的科技创新中心这一主题展开论述。全书共分为八个章节,系统阐述了构建上海科创中心的历史背景和发展历程,梳理了建设开放型产业创新体系的形成和发展动力,并从产业支撑、...
吴伶琳著2017 年出版307 页ISBN:9787568241656
本书分四个篇章介绍了软件测试的基本知识、方法、工具及流程。软件测试的基本理论阐述了软件测试的概念、模型和分类,软件质量管理与软件测试的关系等,试图让学习者对软件测试有一个初步的了解;测试用例设计主...
知识产权制度与区域产业创新驱动:以促进长三角制造业提升为视角
王黎萤,王宏伟,包海波著2014 年出版194 页ISBN:9787514153712
本书以长三角地区的制造业为背景,通过对浙江、上海、江苏等省市的知识产权制度的构建、实施状况、制造业产业发展现状、对知识产权制度的应用评价等调查研究,重点分析知识产权制度与长三角制造业区域产业创新...
邸国平,刘秀英编2012 年出版155 页ISBN:9787112142705
本书首次将随机游动理论应用于库区泥沙运动规律、泥沙沉降特性分析,为库区泥沙淤积计算提供了理论基础;结合多沙河流特点将局部三维水沙数学模型应用到坝前冲刷漏斗计算;将非恒定非饱和异重流输沙模型应用到库...
(美)摩尔著2013 年出版299 页ISBN:9787111400875
本书分3部分,共12章。第一部分包括第1~3章,简单介绍了游戏制作的周期、游戏设计师的职责、游戏玩法和游戏机制的分类,以及游戏制作中的数学和逻辑学,从基础层面阐释了游戏制作周期中各个要素。第二部分包括第4~9....
闫邹先著2017 年出版111 页ISBN:9787518032570
创新是引领发展的第一动力,人才是支撑发展的第一资源。当前,我国已进入建设创新型国家的关键阶段。党的十八大提出实施创新驱动发展战略,强调必须把科技创新摆在国家发展全局的核心位置,以创新支撑和引领经济结...