< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Discrete mathematics离散数学 书名《离散数学在信息学竞赛中的应用》 涉及领域：算法、ACM、数学 内容包含： 重集全排列 Catalan数 简单数论 矩阵的简单运用 棋盘多项式与任务分配 置换群与pólya定理
标签： mathematics Discrete Catalan ACM
上传时间： 2016-04-07
上传用户：hustfanenze
手写数字聚类算法的实现. 该程序层次聚类, 动态聚类, 模糊聚类. 是学习人工智能在图像领域应用的好的资料.
上传时间： 2014-01-05
上传用户：kristycreasy
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
根据空间三点坐标来计算三点所在圆心,可以应用到测量领域
上传时间： 2014-01-20
上传用户：ukuk
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
温度测控在日常生活、工业生产工程各领域均具有广阔的应用前景。目前我国各类实际温度控制系统 中主要以传统控制方式为主，其控制效果不够理想。本课题将模糊控制与PID 控制结合，研制出一种具有较 好跟踪速度和鲁棒性的控制系统，为工业控制提供一种新的技术储备，具有较高的应用价值。
上传时间： 2014-12-07
上传用户：ghostparker
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签： Professional QTP Quick Test
上传时间： 2016-04-21
上传用户：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p为任意素数，a,b,c为任意整数.
上传时间： 2014-01-11
上传用户：er1219
