当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0128秒）
为您推荐： 高层建筑结构的选型 构造及简化计算 兴蒙造山带中部晚古生代晚期构造演化及旅游地学研究 全国计算机技术与软件专业技术资格 计算机研究与发展 编辑部编辑 计算机技术与应用进展 编委会编 计算机科学技术与应用 辑部
-
-
-
建筑与结构计算机辅助设计
金芷生等编著1992 年出版217 页ISBN：7538410899分三部分:一、介绍计算机辅助设计的基本概念、原理和方法;二、介绍微型机IBM上应用的AutoCAD绘图软件;三、介绍建筑与结构CAD的发展和基本方法
-
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN：7030030222中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
-
-
-
-
-
-
