< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
递归方法实现HANOI塔问题 子程序模块个数不限。要求: 盘子个数可以输入,第一个塔为A,第二个塔为B,第三个塔的名称为C。打印出移动过程。
上传时间： 2013-12-22
上传用户：小鹏
这是一个三次样条插值的.m程序 输入的是一个二维数组A(Nx2) 插值方法为: S(x) = A(J) + B(J)*( x - x(J) ) + C(J)*( x - x(J) )**2 +D(J) * ( x - x(J) )**3 for x(J) <= x < x(J + 1)
上传时间： 2013-12-14
上传用户：gengxiaochao
用b-splines变换的方法实现分数延迟滤波器matlab仿真程序
上传时间： 2016-11-08
上传用户：yt1993410
小型公司工资管理系统 工资的计算方法： A 经理：固定月薪为8000； B 技术员：工作时间＊小时工资（100元每小时）； C 销售员：销售额＊4％提成； D 销售经理：底薪（5000）＋所辖部门销售额总额＊0.5％；
上传时间： 2013-12-18
上传用户：qilin
功能：用斐波那契法求f(x)在区间[a,b]上的近似极小值。当且仅当f(x)在[a,b]上为单峰时次方法适用
标签：
上传时间： 2013-12-24
上传用户：csgcd001
黄金分割法求极小值 功能：用黄金分割法求f(x)在区间[a,b]上的近似极小值。当且仅当f(x)在[a,b]上为单峰时次方法适用
标签： 分割
上传时间： 2016-12-18
上传用户：小鹏
求解大规模非对称线性方程组AX=b的迭代方法
上传时间： 2017-02-12
上传用户：xiaohuanhuan
VC++实现图像检索技术,VC++实现图像检索技术 a) 采用颜色检索方法的目的, b) 利用颜色直方图进行检索
上传时间： 2017-07-08
上传用户：lwwhust
杜利特尔三角分解用此方法解Ax=b的方程。
上传时间： 2014-01-04
上传用户：康郎
