当前位置：首页 > 名称
大约有151,966项符合查询结果项。（搜索耗时：0.2957秒）
为您推荐： gb t51447 2021建筑信息模型存储标准 建筑信息模型技术员 建筑信息模型技术员 中级 国家职业技能等级认定培训教材 gb50223 2008建筑工程抗震设防分类标准 title建筑信息模型bim建模技术 中华人民共和国国家标准 建筑工程抗震设防分类标准
-
-
集合论含有原子的自然模型和布尔值模型
李娜著2011 年出版187 页ISBN：9787303121694本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...
-
-
中国宏观经济模型的研制与应用 季度模型、向量自回归模型和多部门动态模型
张前荣著2012 年出版373 页ISBN：9787509621134本书是作者对宏观经济模型的研制与应用的探索。共分为三篇，第一篇是中国季度宏观经济模型的研制与应用，设计了季度模型的模块结构和运行机理，建立了季度模型的数据库，构建了季度模型的方程体系。第二篇是向量自...
-
大坝安全风险模型及防洪标准研究
黄灵芝，李守义，司政著2015 年出版111 页ISBN：9787517030164鉴于大坝工程自身的安全以及工程失事后对下游生命、环境、财产等多方面的影响，人们对已建和在建水利工程的安全可靠要求越来越高，将“工程安全”转换为“工程风险”，再辅以“承担适度风险”的理念将更易于接受...
-
-
-
-
国际专利分类表（IPC） E 固定建筑物
世界知识产权组织编著2006 年出版107 页ISBN：7800111768本套分类表根据世界知识产权组织2005年出版的第八版国际专利分类表英文翻译而成。
-
学科分类
出版时间