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

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

MATLAB语言与机械工程 【工业技术】

本书主要介绍了MATLAB基础知识，数据可视化技术等。

电子计算机与算法语言BASIC 【工业技术】

凸轮机构设计与应用创新 【工业技术】

本书包括动件运动规律设计，机构基本尺寸及结构设计。

汇编语言与接口技术 【工业技术】

本书围绕环境纠纷处理的前沿问题，中日韩学者协同研究，反映了最新的研究动向和实务动态。

VRML语言入门与应用 【工业技术】

本书系统地介绍了虚拟现实建模语言（VRML）的基础知识和各节点详细的使用方法。

传播学视域下服装展示形态及创新设计研究 【工业技术】

服装其实是社会文化的缩影，服装风格的变迁代表了社会文化的变化。随着我国社会逐步进入到生态时代，服装设计的风格和模式也随之发生了变化。当前，绿色、环保等生态理念已经成为最具前沿性的理念指标，服装作为生...

软件工程 系统与语言规约 【工业技术】

本书介绍系统与语言的规约的基本原理和技术。

传统与创新 何玉如作品选 【工业技术】

中小户型设计与创新 【工业技术】

本书详细介绍近期中外建筑设计机构在中国开发和设计的优秀商业地产案例及相关内容。