编译原理辅助教程 一个PASCAL子集 IOPL 编译系统分析与实践 【工业技术】

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

上海浅层天然气的开采和稳定使用 【工业技术】

计算机辅助管理系统 数据库技术基础及FOXBASE+ 【工业技术】

控制系统现代频域法的计算机辅助设计 上 【工业技术】

复杂边坡工程系统稳定性研究 清江隔河岩水利枢纽 【工业技术】

国家自然科学基金资助项目(49802026):本书内容包括：绪论、边坡工程系统工程系地质、复杂边坡工程稳定性的块体系统分析统、边坡工程系统稳定性计算与分析预测等。...

时滞动力系统的稳定性理论与应用 【工业技术】

本书内容：1.同结构和异结构（超）混沌系统的同步、控制与反控制。2.时滞多智能体网络模型的同步控制。3.TCP/AQM互联网拥塞控制时滞对偶模型的非线性稳定性研究。4.TCP/AQM互联网拥塞控制流体流模型的非线性稳定...

“焊接专家系统”专题学术会议 论文集 焊接冷裂纹的计算机辅助评定 专家系统雏型 【工业技术】

国外资料 在大型镗床上减少辅助工作和辅助工作机械化技术指导资料 【工业技术】

材料和结构的不稳定性 【工业技术】

本书根据1990年8月“材料和结构的不稳定性”研讨会报告编纂成16篇综述文章