< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
华为公司5100IP-DSLAM业务与5200、3526、8850对接网管配置指导书-20020606-B
标签： 20020606 IP-DSLAM 5100 3526
上传时间： 2013-12-11
上传用户：jkhjkh1982
一本c++学习的必备之书《Essential C++》By Stanley B. Lippman，
标签： B. Essential Stanley Lippman
上传时间： 2014-01-20
上传用户：水中浮云
同时由B.W.Kernighan和D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》，也有人称之为《K&R》标准
标签： PROGRAMMING Kernighan LANGUAGE Ritchit
上传时间： 2017-05-29
上传用户：ddddddos
2.54间距双排排针规格书,可分为弯针,直针,SMT贴片公针
标签： Pin Header Drawing 2.54双排插针 2.54双排公针 2.54DIP公针 2.54针座 2.54直插180度排针 双排排针图纸 双排排针规格书 双排排针工程图纸
上传时间： 2016-01-08
上传用户：1234lucy
标准规格书（2.0卧式针座） 标准规格书（2.0卧式针座）
标签： 标准规格书（2.0卧式针座）
上传时间： 2016-08-30
上传用户：012345
剖析Intel IA32 架构下C 语言及CPU 浮点数机制 Version 0.01 哈尔滨工业大学 谢煜波 （email: xieyubo@126.com 网址:http://purec.binghua.com） （QQ:13916830 哈工大紫丁香BBSID:iamxiaohan） 前言 这两天翻看一本C 语言书的时候，发现上面有一段这样写到 例：将同一实型数分别赋值给单精度实型和双精度实型，然后打印输出。 #include <stdio.h> main() { float a double b a = 123456.789e4 b = 123456.789e4 printf(“％f\n％f\n”,a,b) } 运行结果如下：
标签： Version xieyubo Intel email
上传时间： 2013-12-25
上传用户：徐孺
library系统主要实现以下几个功能： a．图书管理 b.读者管理 c.借阅管理 d.信息查询 e.作者信息 功能描述： 图书管理包括新书入库、旧书注销、信息修改。 读者管理包括增加读者、删除读者、信息修改。 借阅管理包括借书管理、还书管理。 信息查询包括图书信息查询、借还记录查询、未还图书查询。 关于作者中，可以看到作者的基本信息。 退出中，询问管理人员是否要退出系统。
上传时间： 2014-01-16
上传用户：zhangjinzj
C语言是在 70年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正式 发表了C 语言。同时由B.W.Kernighan和 D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》，也有人称之为《K&R》标准。但是，在《K&R》中并 没有定义一个完整的标准C语言，后来由美国国家标准学会在此基础上制定了一个C 语言 标准，于一九八三年发表。通常称之为ANSI C。 当代最优秀的程序设计语言
标签： Kernighan Ritchit PROGRA THE
上传时间： 2016-12-23
上传用户：chens000
作者B.A.Shenoi, John Wiley & Sons 出版社出版，主要讲述DSP信号处理、滤波器设计，书里包含大量matlab实例。
上传时间： 2017-05-20
上传用户：13215175592
