基于形式概念分析的Folksonomy知识发现研究 【工业技术】

形式语义学基础与形式说明 【工业技术】

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

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

程序设计语言研究与教学 【工业技术】

程序设计语言研究与发展 【工业技术】

网络语言语法与语用研究 【工业技术】

本书是对网络语言现象的研究，在非传统规范的语法、语用中探寻规律，寻求科学的网络语言发展走向。

制造业企业产品创新与工艺创新协同发展系统研究 【工业技术】

本书以“以技术创新推动制造业发展”为切入点，从技术创新过程的两个方面入手，对制造业企业产品创新与工艺创新协同发展问题进行了系统研究。...

高端装备工业设计创新研究与实践 【工业技术】

森佩尔三个文本的形式原则比较研究 【工业技术】

将建筑形式原则区分为结构形态原则、非结构形态原则和表面属性原则三类，在更长的历史脉络和更广的时代背景之下，对19世纪德国建筑理论家森佩尔（Gottfried Semper）三个文本（《彩饰初论》《四要素》和《风格论》）中...

C/C++语言与研究开发实践 【工业技术】