< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
此设计能输出0.1～50Hz的正弦波、三角波、方波且可以通过按键选择。
上传时间： 2016-04-09
上传用户：zuozuo1215
由于TD-SCDMA 采用了同步CDMA、智能天线、软件无线电、低码片速率、接力切换和 联合检测等一系列高新技术，因此才能经受得起来自国际电联及其各个成员的严格考验。
上传时间： 2013-12-09
上传用户：er1219
symbian os c/c++ 多个view切换
上传时间： 2014-01-25
上传用户：sxdtlqqjl
为红外遥控音源切换器的ＰＣ应用软件 CDLEB.hex CDLEB_Main.c CDLEB.hex为已编译的加强版的红外遥控音源切换器的单片机程序 红外遥控PC功能,PC软件可使用Grider3.2(SAA3010T电视遥控器)
标签： CDLEB CDLEB_Main hex Grid
上传时间： 2013-12-26
上传用户：aix008
OFDM仿真程序 是关于同步方面的 OFDM系统中的同步技术研究
上传时间： 2016-04-13
上传用户：onewq
快速切换网关，修改网络配置，启用禁用修复网络连接，修改MAC地址等功能。
上传时间： 2013-12-28
上传用户：skhlm
用单片机产生方波的一个小程序。 方波的频率为1HZ.
上传时间： 2013-12-25
上传用户：himbly
eKeyGide.zip 包括一些模式识别方面的VC++的仿真
上传时间： 2016-04-17
上传用户：lz4v4
matlab图像处理方面的书，对于初学者非常有用
上传时间： 2016-04-20
上传用户：天涯
