当前位置:首页 > 名称
大约有884,234项符合查询结果项。(搜索耗时:1.0131秒)
为您推荐: gis应用与开发丛书cityengine城市三维建模 面向物联网的android应用开发与实践 基于开源软件的gis应用开发简明教程 面向对象分析与设计 第3版 精选植根于开发实践的读物 基于supermap的gis开发实验教程 城乡规划gis技术应用指南 方法与经典分析
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
-
-
AutoCAD绘图与三维建模实例
高贵生编著2003 年出版278 页ISBN:711511711X本书详细介绍了用AutoCAD绘图和三维建模的方法,创作思路是以绘图技术为侧重点,突出零件、部件、产品和房屋的三维建模的方法。
-
-
学科分类
出版时间
