卷材屋面和防潮层工作冬季施工细则 И185-54/МИНСТРОЙ-МСПМХП
苏联建造部科学研究院防潮层与屋面工程试验室制定,中华人民共和国建筑工程部技术司译1955 年出版24 页ISBN:
韩俊刚,杜慧敏著(西安邮电学院)2001 年出版269 页ISBN:7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法,数字硬件的规范描述和验证,高阶逻辑系统及其在硬件验证中的应用,模型检验,验证与综合系统VIS等内容。...
(苏联)波德纳尔斯基编2009 年出版525 页ISBN:9787100064279
本书汇集了古希腊和古罗马著名学者在地理学领域内的著述,从中可以看出古代西方的地理思想、观点和方法。