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

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

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

微分几何

本书主要讲述了微分几何中曲线和曲面的局部理论。本书共分为三章：第一章作为预备知识，介绍了三维矢量空间和三维内积空间及有关性质，以及平面及空间中的正交变换及刚体变换，主要讲清了这些量的几何特征。第二章...

空间非局部时滞微分系统的动力学行为

空间局部时滞微分方程是微分方程领域的一个十分重要的分支，有着十分广泛的应用，涉及许多学科中的许多领域。本书通过对空间局部时滞微分方程的研究获得了模型解的存在唯一性和有界性、全局吸引子的存在性以及...

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

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

书法艺术形式的美学描述

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

牛顿教你学微分

本书里微分的创始人之一牛顿将亲临我们的教室，以妙趣横生的故事给我们讲解微分知识。牛顿是英国数学家和科学家。他在求得运动体速度的过程中发现了微分法。本书讲微分深入浅出、通俗易懂，虽然是从中小学学生...

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

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

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