< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
Discrete mathematics离散数学 书名《离散数学在信息学竞赛中的应用》 涉及领域：算法、ACM、数学 内容包含： 重集全排列 Catalan数 简单数论 矩阵的简单运用 棋盘多项式与任务分配 置换群与pólya定理
标签： mathematics Discrete Catalan ACM
上传时间： 2016-04-07
上传用户：hustfanenze
应用遗传算法是被认为求解NP难题的有效手段之一,求解物流配送车辆路径优化问题时,在传统遗传算法的基础上,并引入了免疫算法的思想,实验结果表明该算法具有更好的全局和局部搜索能力和收敛速度,可有效地解决物流配送车辆路径优化问题。
上传时间： 2016-04-07
上传用户：gxf2016
微软加油题的几种算法 原题 . 一道关于飞机加油的问题，已知： 每个飞机只有一个油箱， 飞机之间可以相互加油(注意是相互，没有加油机) 一箱油可供一架飞机绕地球飞半圈， 问题： 为使至少一架飞机绕地球一圈回到起飞时的飞机场，至少需要出动几架飞机?(所有飞机从同一机场起飞，而且必须安全返回机场，不允许中途降落，中间没有飞机场) 第三题. 汽车加油问题 一辆载油500升的汽车从A开往1000公里外的B，已知汽车每公里耗油量为1升，A处有无穷多的油，其他任何地点都没有油，但该车可以在任何地点存放油以备中转，问从A到B最少需要多少油
上传时间： 2016-04-08
上传用户：许小华
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
欧几里德算法又称辗转相除法，用于计算两个整数a,b的最大公约数。
上传时间： 2016-04-12
上传用户：黄华强
用于制作和整理（文件搜索方式）编程技术文档和各类源代码, 可以如编程工具一样分色显示程序(C++, Delphi , java, Vb, SQL ……)(用算法实现), 主要用于查找相应的类和函数的应用。 同样可以用它来制作电子书籍。
上传时间： 2016-04-12
上传用户：dave520l
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间： 2014-01-25
上传用户：坏坏的华仔
全新的B/S结构开发方式,用纯JS+HTML实现了类似C/S的强大浏览器交互,查询及分页浏览速度提高几倍,可以成批录入数据,有完整的数据库表访问和纯web打印
上传时间： 2014-01-20
上传用户：lacsx
