软件开发的形式化工程方法 【工业技术】

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

机器人控制系统的设计与MATLAB仿真 【工业技术】

本书系统地介绍了机器人控制的几种先进设计方法，是作者多年来从事机器人控制系统教学和科研工作的结晶，同时融入了国内外同行近年来所取得的最新成果。...

地理信息系统在经济和管理中的应用 【经济】

本书通过建立专题地图实现地理空间说话的可视化。是具有一定计算机基础的经济类和管理类的本科及研究生在较短的时间内了解地理信息系统基础知识的读本。...

计算机在材料科学与工程中的应用 【工业技术】

本书系统介绍了计算机在材料科学与工程中的应用、注重理论讲解的同时，结合计算机在材料科学与工程中的应用实例。

温度对微电子和系统可靠性的影响 【工业技术】

本书论述了温度对微电子和系统可靠性的影响，提出了一些新的失效模型和设计方法。

爱的乐章 莆田市卫生系统援川风采录 【历史地理】

本书以摄影图片的形式记载了5.12大地震后，莆田市卫生、防疫系统四批援川抗震救灾人员的风采。

软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】

当代欠发达地区产业发展的系统分析原理 【经济】

本书从开放、竞争、动态演化的视角分析当代欠发达地区的产业发展问题，在方法论上是从“存在的科学”向“演化的科学”，从原论向整体观，从实体中心论到关系中心论，从偏爱均衡态到重视过程研究的一种转变和创新。...

出现频率最高的100种典型题型精解精练 操作系统 【工业技术】

本书分为9章，包括硕士研究生入学考试操作系统科目的知识点，试题预测与解答等。

地质工程创新人才培养的理论与实践 【天文地球】

本书以论文的形式，全面总结了中国地质大学（武汉）工程学院实验班四年来的教学改革成果与经验。主要包括教师教学改革的实践与探讨；学生对教学改革的意见与思考；管理者对教学改革的实践与思考。适合从事地质工程管...