当前位置:首页 > 名称
大约有5,000项符合查询结果项。(搜索耗时:0.0076秒)
为您推荐: press全国冶金系统设计院 采矿业务建设网 press冶金系统设计院系矿业务建设网 冶金系统设计院系矿业务建设网 press上海化学工业设计院石油化工设备设计建设组 press冶金部钢铁研究总院 press北京钢铁学院自动化教研室
-
-
-
-
-
-
-
支持泛型程序设计的Apla-Java自动程序转换系统
石海鹤著2014 年出版82 页ISBN:9787549324231本书包含引言、形式化软件开发方法概述、Apla->Java自动程序转换系统介绍、对原有系统的重构及改进、泛型机制在Apla->Java自动程序转换系统中的实现、结束语等章节。本书选取Java语言作为程序自动转换系统...
-
形式语言与自动机及程序设计
陆玲,周书民著2014 年出版165 页ISBN:9787566107534本书介绍了乔姆斯文法体系的四类文法及相应的实例,以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...
-
-
机械产品三维设计与自动编程 CATIA V5R20
周渝庆主编2014 年出版208 页ISBN:9787111452904本书从读者的角度出发,以CATIAV5R20软件为操作平台,选取了典型零件,如轴类、盘类、箱体、叉架类零件,进行建模和加工讲解。用到了多种建模及加工方法和技巧,讲解思路清晰,图文并茂。每个实例都有实例文件和操作视...
学科分类