< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Discrete mathematics离散数学 书名《离散数学在信息学竞赛中的应用》 涉及领域：算法、ACM、数学 内容包含： 重集全排列 Catalan数 简单数论 矩阵的简单运用 棋盘多项式与任务分配 置换群与pólya定理
标签： mathematics Discrete Catalan ACM
上传时间： 2016-04-07
上传用户：hustfanenze
数据挖掘中的apriori算法,很好的代码，可以挖掘数据库中的关联规则，很有效哦！
上传时间： 2014-12-07
上传用户：lps11188
数据挖掘中的FP-growth算法,很好的代码，可以挖掘数据库中的关联规则，很有效哦！
上传时间： 2014-01-12
上传用户：teddysha
数据挖掘中的eclat算法,很好的代码，可以挖掘数据库中的关联规则，很有效哦！
上传时间： 2014-01-23
上传用户：ywqaxiwang
数据挖掘中的bayes算法,很好的代码，可以挖掘数据库中的bayes规则，很有效哦！
上传时间： 2014-01-03
上传用户：偷心的海盗
数据挖掘中的relim算法,很好的代码，可以挖掘数据库中的关联规则，很有效哦！
上传时间： 2014-01-20
上传用户：wlcaption
微软加油题的几种算法 原题 . 一道关于飞机加油的问题，已知： 每个飞机只有一个油箱， 飞机之间可以相互加油(注意是相互，没有加油机) 一箱油可供一架飞机绕地球飞半圈， 问题： 为使至少一架飞机绕地球一圈回到起飞时的飞机场，至少需要出动几架飞机?(所有飞机从同一机场起飞，而且必须安全返回机场，不允许中途降落，中间没有飞机场) 第三题. 汽车加油问题 一辆载油500升的汽车从A开往1000公里外的B，已知汽车每公里耗油量为1升，A处有无穷多的油，其他任何地点都没有油，但该车可以在任何地点存放油以备中转，问从A到B最少需要多少油
上传时间： 2016-04-08
上传用户：许小华
红黑数算法及演示源代码，带生动的动画图片。
上传时间： 2014-01-18
上传用户：cazjing
实现数据挖掘的一个重要算法sliq。能够从文本中读出数据，并进行数据挖掘的关联规则分析。
上传时间： 2014-01-02
上传用户：电子世界
