B方法与形式化软件开发技术研究

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

新编电子琴演奏法 3 附：电子琴流行名曲及常用节奏形式

中国美术学院造型基础部留校作品选 形式构成篇

本书精选中国美院基础部学生优秀作品约100幅，内容包括黑白构成，色彩组合构图形式等，可供学生临摹与参考。

书法艺术形式的美学描述

本书主要是以美学的基本原理、主客观关系为基础、审美为轴心，研究书法的艺术性质和规律。它不同于一般艺术理论，侧重从实践的角度阐述书法艺术创作规律、与社会、生活的关系；它所研究的许多问题的高度是哲学问...

江西苏区教育资料汇编 1927-1937 3 四、教育类型和办学形式 上

江西苏区教育资料汇编 1927-1937 4 四、教育类型和办学形式 中

江西苏区教育资料汇编 1927-1937 5 四、教育类型和办学形式 下

东西方矛盾观的形式演算 第3卷 矛盾解悖反演概论

现代战争面面观 现代作战样式与形式

本书是《现代战争面面观》系列丛书的第四分册，旨在从理论和实践上全面系统地论述现代战争信息化作战的全新概念、独特面貌和作战样式与方式方法及行动，特意研讨信息化条件下联合作战、一体化联合作战、基于信...

形式动词句式的认知与功能研究

在现代汉语中形式动词句式与普通的主动宾句式相比，是一种特殊的句式。它们具有独特的表达功效，在汉语的句式系统中有独立的地位和价值。本书在认知语言学与功能语言学的背景下，运用事件语义学理论、名词化理论...