这是本人在2005年参加全国大学生电工建模做b题的相关资料,虽然没有获奖,但是应该本人觉得还是有点可取之处。
上传时间: 2015-05-21
上传用户:qoovoop
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
杭州立宇泰armsys2410-b套件光盘资料使用手册。 包括: 1、armsys2410-B开发板linux2.4.18内核用户手册.pdf 2、armsys2410-B开发板硬件用户手册.pdf 3、ARMSYS2410开发套件Linux2.6.15内核使用说明.pdf 4、ARMSYS2410开发套件WINCE5.0BSP使用说明.pdf 5、一步一步基于ADS1.2进行开发(ARM9).pdf
上传时间: 2014-01-21
上传用户:hj_18
ARM S3C2410硬件手册重点 a.Memory Controller b.Nand Flash c.UART d.Interrupt e.Timer
标签: Controller Interrupt S3C2410 Memory
上传时间: 2013-12-17
上传用户:懒龙1988
本程序能产生大部份实用随机数:产生一个[0,1]区间内均匀分布伪随机数、产生多个[0,1]区间内均匀分布伪随机数、产生任意[a,b]区间内一个均匀分布伪随机整数、产生任意[a,b]区间内均匀分布伪随机整数序列、产生一个任意均值与方差的正态分布随机数、产生任意均值与方差的正态分布随机数序列
上传时间: 2013-12-18
上传用户:kbnswdifs
一些国内和国外的标准。包含有:电工电子产品基本环境试验规程 试验A 低温试验方法、电工电子产品基本环境试验规程 试验B 高温试验方法、电子测量仪器质量检验规则等和SAE的一些标准
上传时间: 2014-10-28
上传用户:yzhl1988
电工电力专辑 99册 1.27G最新实用电工手册 1480页 35.6M.pdf
标签:
上传时间: 2014-05-05
上传用户:时代将军
电工电力专辑 99册 1.27G最新实用电工技术与操作手册 469页 6.8M.pdf
标签:
上传时间: 2014-05-05
上传用户:时代将军
专辑类-实用电子技术专辑-385册-3.609G jk-b交通信号控制机原理图-1.3M.zip
上传时间: 2013-08-02
上传用户:zhf1234
专辑类-电工电力专辑-99册-1.27G 实用供配电技术手册-550页-17.5M.pdf
上传时间: 2013-04-24
上传用户:1757122702