< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
作品简介:基于51单片机的信号发送器,理论距离是3000米,实际受到现实的干扰,信号发送距离降缩短到1500米以上.可以配备多个接收器,实现多机通讯. 作品作用:例如手动输入A,B,C,D 80个不同的信号,启动发送,那么配备的多个接收器能接收到这80个信号.
上传时间： 2013-12-24
上传用户：zhengjian
基于B IO S和USB盘实现对PC机的安全访问
上传时间： 2016-10-31
上传用户：stvnash
一个基于b/s下的进销存管理系统.c#.net+sql_server 可作为有一定基础的人学习参考.
标签： sql_server net 进销 管理系统
上传时间： 2016-11-05
上传用户：独孤求源
一个功能比较强大（大多数人都没见过）、调用十分方便灵活、适合于B/S架构、思路别出心裁（坚决不与具体业务、具体数据源、具体列表相结合,能自定义文字信息和显示样子）。就算目前做得并非十全十美，相信见到以后还是会超出您的想象。具体参见源码例子和文档。
上传时间： 2014-01-01
上传用户：四只眼
A、B、C、D、E五人合伙夜间捕鱼，凌晨时都疲惫不堪，各自在河边的树丛中找地方睡着了，日上三竿，A第一个醒来，他将鱼平分作五份，把多余的一条扔回湖中，拿自己的一份回家去了，B第二个醒来，也将鱼平分为五份，扔掉多余的一条，只拿走自己的一份，接着C、D、E依次醒来，也都按同样的办法分鱼。问五人至少合伙捕到多少条鱼？每个人醒来后看到的鱼数是多少条？
标签： 捕鱼
上传时间： 2016-12-22
上传用户：familiarsmile
1. 下列说法正确的是 （ ） A. Java语言不区分大小写 B. Java程序以类为基本单位 C. JVM为Java虚拟机JVM的英文缩写 D. 运行Java程序需要先安装JDK 2. 下列说法中错误的是 ( ) A. Java语言是编译执行的 B. Java中使用了多进程技术 C. Java的单行注视以//开头 D. Java语言具有很高的安全性 3. 下面不属于Java语言特点的一项是( ) A. 安全性 B. 分布式 C. 移植性 D. 编译执行 4. 下列语句中，正确的项是 ( ) A . int $e,a,b=10 B. char c,d=’a’ C. float e=0.0d D. double c=0.0f
上传时间： 2017-01-04
上传用户：netwolf
图书管理系统： 控制台界面--在存储信息的时候模拟了一颗B树
上传时间： 2017-01-09
上传用户：LouieWu
网佳网络办公系统（以下简称OA）是一套基于B/S模式的无纸化办公系统。[显著特点：无须安装客户端] 主要功能模块：管理 公文 车辆 通知 档案 值班 人事 审批 仓库 主界面 软件下载 个人办公室 通讯录 邮件服务 其中个人办公室又包括 工作日志 个人资料 记事本 区号查询 出差记录 万年历 个人通讯录 我的客户 主界面附设有可扩展的功能模块，可以定制适合您企业的特殊功能模块
上传时间： 2014-07-13
上传用户：zhaoq123
国际会议上的关于人耳图像识别的论文：Multi-view Ear Recognition Based on B-Spline Pose Manifold Construction
标签： Construction Recognition Multi-view B-Spline
上传时间： 2013-12-17
上传用户：磊子226
