< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
用java编写的标准化考试系统 (B/S网络版)
上传时间： 2013-12-18
上传用户：qoovoop
B/S结构邮件系统的源码，该代码基本实现了收发邮件的功能
上传时间： 2013-12-23
上传用户：851197153
一个汽车售后服务站的典型的进销管理系统,B/S模式的
上传时间： 2014-09-10
上传用户：钓鳌牧马
B+树的演示程序，在vs.net 2003 下编译通过。是数据库基础的课程设计。
上传时间： 2014-12-03
上传用户：王小奇
将正规式变成NFA的算法,如(a|b)*(aa|bb)(a|b)*
上传时间： 2013-12-19
上传用户：hzy5825468
基于B/S结构的教学系统的开发，有兴趣的可以看看，做毕业论文也可以
标签： 教学系统
上传时间： 2013-12-10
上传用户：王者A
假设文档的内容为 i a * nul i b + nul i c # nul 是个单词二元式,对他进行不带回溯的自上而下的语法分析.
上传时间： 2013-12-14
上传用户：邶刖
这是一个三次样条插值的.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
移位乘法器的输入为两个4位操作数a和b，启动乘法器由stb控制，clk信号提供系统定时。乘法器的结果为8位信号result,乘法结束后置信号done为1. 乘法算法采用原码移位乘法，即对两个操作数进行逐位的移位相加，迭代4次后输出结果。具体算法： 1. 被乘数和乘数的高位补0，扩展成8位。 2. 乘法依次向右移位，并检查其最低位，如果为1，则将被乘数和部分和相加，然后将被乘数向左移位；如果为0，则仅仅将被乘数向左移位。移位时，被乘数的低端和乘数的高端均移入0. 3. 当乘数变成全0后，乘法结束。
上传时间： 2014-01-03
上传用户：星仔
