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

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

跨流域调水工程中的水权水市场研究 【工业技术】

云计算环境下基于行为信任的访问控制安全技术研究 【工业技术】

面向智能制造的多机器人系统任务分配研究 【工业技术】

非线性时变微弱信号处理与检测技术研究 【工业技术】

大台南文化丛书 第4辑 台南剪黏工艺研究 【工业技术】

兰州地震研究所科研成果汇编论文摘要 1984-1985 【工业技术】

下一个产品 产品专题设计研究 【工业技术】

本套设计丛书是近几年来引进国外专家教学与国内专家互动教学，并与国外国内著名设计师和专家学者共同研讨的最新教学成果，通过对传统文化与现代设计手段的学习，培养适应现代社会需要的创新设计师。...

Turbo Pascal专题研究 上下 含5.0版增订资料 【工业技术】

汽油机多区燃烧模型的建立及应用研究 【工业技术】