可视性二维动画教室 下 【工业技术】

本书是将科技的手段（光盘式教学）代替传统的教学方式，书与光盘同时使用，是高科技与传统动画相结合的实用性教材，填补了动画技术书籍在市场上的空缺。...

可视性二维动画教室 上 【工业技术】

本书是将科技的手段（光盘式教学）代替传统的教学方式，书与光盘同时使用，是高科技与传统动画相结合的实用性教材，填补了动画技术书籍在市场上的空缺。...

形式语言与自动机理论 第2版 【工业技术】

本书介绍形式语言与自动机理论，含有正则语言，上下文语言的文法，识别模型的性质等。

不确定动态系统的鲁棒控制理论 奇异摄动系统、脉冲微分系统 【工业技术】

园林景观设计摭谈从概念到形式的艺术 【工业技术】

B语言与方法 实用形式化开发指南 【工业技术】

Z形式规约切片的研究 【工业技术】

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...

水电站加劲压力钢管及厂坝联结形式优化 【工业技术】

形式化方法导论 【工业技术】

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

形式语言与自动机导论 原书第3版 【工业技术】

本书主要介绍形式语言、自动机、可计算性和相关方面内容。