当前位置：首页 > TAG信息列表 > 工程
工程
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
-
-
-
AUTOCAD 2010工程制图
李茳淼，江洪编著2010 年出版269 页ISBN：9787111288558本书采用了具体的实例讲述了AutoCAD2010的新功能，如工具选项板、尺寸和几何约束、外部参照、文字、查询、拼图打印等。
-
-
-
MATLAB&EXCEL工程计算
（美）WilliamE.Howard，JosephMusto，RichardR.Williams编著2010 年出版294 页ISBN：9787302214311本书内容包括：方程的求根、矩阵的运算、方程组的求根、数值积分以及最优化。
-
-
-
PLC原理及工程应用
刘星平编著2010 年出版204 页ISBN：9787512300453本书为21世纪高等学校规划教材。本书以国内广泛使用的西门子公司S7-200(CN)系列PLC为背景，介绍了电气控制的基本知识、PLC的工作原理、特点、硬件结构、编程元件与指令系统，并从工程应用出发详细介绍了梯形图...
-
电气与电子工程专业英语 第2版
赵阳主编2009 年出版260 页ISBN：9787111281221本书作为“十一五”国家级规划教材，是编者根据多年的教学经验，参考国外最新英语专业教科书、专著及科技资料编写而成。
-
环境工程导论 翻译版
（美）戴维斯，康韦尔著2010 年出版872 页ISBN：9787302207634本书包含了环境工程导论课程需要的基本的科学与工程原理。全书内容涉及物质与能量平衡，水文学，水处理，水质管理，废水处理，空气污染，噪声污染，固体废物管理，危险废物管理，电离辐射等方面。...
-
-
建设工程技术与计量 安装工程部分
赵斌主编2010 年出版345 页ISBN：9787802424999本书是该套丛书之一．本版指南今年做了全新的编排，突出了考题与教材各个知识点针对性分析，将近三年的考试真题进行了解析，突出了指导性。主要内容包括建设工程技术与计量（安装工程部分）考试科目的考纲要求，复习导言...
-
-
汶川地震后工程结构安全与防灾新进展
黄兴棣，顾瑞南主编2009 年出版208 页ISBN：9787811301236本书为“土木工程结构安全学术交流会暨江苏省第三届工程鉴定与加固学术交流会”论文集，主要内容包括新建土木工程抗灾、防灾关键技术研究、设计与施工技术，现有土木工程抗灾、防灾能力鉴定评估技术与应用，以及...
-
-
-
