当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0087秒)
为您推荐: 水电水利规划设计总院可再生能源定额站 能源部水利部水利水电规划设计总院 能源部 水利部水利水电规划设计总院编 可再生能源定额站编 水电水利规划设计总院 能源部 水利部水利水电规划设计总院
-
中国土地资源可持续利用的理论与实践
唐华俊,陈佑启等主编2000 年出版364 页ISBN:7801198875中国农科院科技专著出版基金资助:本书内容包括:土地资源可持续利用研究进展;中国土地资源的基本态势;土地资源可持续利用的演变历史分析;土地利用变化的趋势模型;房山区土地资源可持续利用研究等。 ...
-
-
-
-
-
-
-
全国统一建筑安装工程工期定额
北京市建设委员会,四川省建设委员会主编2000 年出版352 页ISBN:7800588335由建设部组织修订的《全国统一建筑安装工程工期定额》以建标〔2000〕38号批准发布,自2000年2月16日施行。包括:民用建筑工程;工业及其他建筑工程;专业工程的工期定额等内容。...
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
学科分类
