< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
B/S结构邮件系统的源码，该代码基本实现了收发邮件的功能
上传时间： 2013-12-23
上传用户：851197153
实现B树，并在MFC中将其画出。 B树的表示及基本操作的实现。 1．掌握B树的存贮结构。 2．实现B树中关键字值的插入及删除操作。 3．屏幕图形化的显示。
标签： 树
上传时间： 2013-12-18
上传用户：xymbian
library系统主要实现以下几个功能： a．图书管理 b.读者管理 c.借阅管理 d.信息查询 e.作者信息 功能描述： 图书管理包括新书入库、旧书注销、信息修改。 读者管理包括增加读者、删除读者、信息修改。 借阅管理包括借书管理、还书管理。 信息查询包括图书信息查询、借还记录查询、未还图书查询。 关于作者中，可以看到作者的基本信息。 退出中，询问管理人员是否要退出系统。
上传时间： 2014-01-16
上传用户：zhangjinzj
停车诱导系统中车位预测模型的研究 摘 要 研究城市停车诱导系统的停车车位占有率预测问题。首先提出墓于B P神经网络的车位占有预测模型， 同时将自适应 学习速率调整法和加入动量项方法用于改善基本B P神经网络， 优化了学习速率， 减少了训练过程的震荡趋势， 改善了网络的收效 隆。以此为基础实现了停车位的智能预测 0最后， 进行了多种方法比对实验
上传时间： 2013-12-17
上传用户：GavinNeko
大学英语B网考辅导:语法：根据考试大纲的要求，考生应掌握基本的英语语法知识，并能在听、说、读、写、译中较正确地加以应用。
标签： 大学英语
上传时间： 2017-03-26
上传用户：yulg
21世纪大学新型参考教材系列 集成电路B 荒井
上传时间： 2013-04-15
上传用户：eeworm
电子产品焊接工艺
上传时间： 2013-07-12
上传用户：eeworm
家电维修(最基础的教程B)1-20.Torrent
上传时间： 2013-06-10
上传用户：eeworm
jk-b交通信号控制机原理图
上传时间： 2013-07-13
上传用户：eeworm
