< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
特点(FEATURES) 精确度0.1%满刻度 (Accuracy 0.1%F.S.) 可作各式数学演算式功能如:A+B/A-B/AxB/A/B/A&B(Hi or Lo)/|A| (Math functioA+B/A-B/AxB/A/B/A&B(Hi&Lo)/|A|/etc.....) 16 BIT 类比输出功能(16 bit DAC isolating analog output function) 输入/输出1/输出2绝缘耐压2仟伏特/1分钟(Dielectric strength 2KVac/1min. (input/output1/output2/power)) 宽范围交直流两用电源设计(Wide input range for auxiliary power) 尺寸小,稳定性高(Dimension small and High stability)
上传时间： 2013-11-24
上传用户：541657925
matlab数学建模工具箱，包括：％ 1. MATLAB常用数学建模工具的中文帮助 ％ 2. 贡献MATLAB数学建模工具(打*号) ％ 3. 中国大学生数学建模竞赛历年试题MATLAB程序
上传时间： 2014-11-30
上传用户：ukuk
1.有三根杆子A,B,C。A杆上有若干碟子 2.每次移动一块碟子,小的只能叠在大的上面 3.把所有碟子从A杆全部移到C杆上 经过研究发现，汉诺塔的破解很简单，就是按照移动规则向一个方向移动金片： 如3阶汉诺塔的移动：A→C,A→B,C→B,A→C,B→A,B→C,A→C 此外，汉诺塔问题也是程序设计中的经典递归问题
上传时间： 2016-07-25
上传用户：gxrui1991
给定两个集合A、B，集合内的任一元素x满足1 ≤ x ≤ 109，并且每个集合的元素个数不大于105。我们希望求出A、B之间的关系。 任 务 ：给定两个集合的描述，判断它们满足下列关系的哪一种： A是B的一个真子集，输出“A is a proper subset of B” B是A的一个真子集，输出“B is a proper subset of A” A和B是同一个集合，输出“A equals B” A和B的交集为空，输出“A and B are disjoint” 上述情况都不是，输出“I m confused!”
标签：
上传时间： 2017-03-15
上传用户：yulg
GRE 数学圣经，下面是详细的英文介绍： Comprehensive Prep for GRE Math Every year, students pay $1,000 and more to test prep companies to prepare for the math section of the GRE. Now you can get the same preparation in a book. Although the GRE math section is difficult, it is very learnable. GRE Math Bible presents a thorough analysis of GRE math and introduces numerous analytic techniques that will help you immensely, not only on the GRE but in graduate school as well.
标签： GRE Math 数学
上传时间： 2015-08-22
上传用户：东大寺的
此为离散数学07年考试试卷，可以作为参考。。。
标签： 离散数学
上传时间： 2016-03-10
上传用户：gzm1979
HR工具书 101个面试难题及 结构化面试题库
上传时间： 2016-06-03
上传用户：慢调写手
本文内容为2012年电子竞赛的试题汇编并有其元件清单
上传时间： 2016-07-19
上传用户：765621013
2017 年全国大学生电子设计竞赛所有试题
上传时间： 2019-01-06
上传用户：ddcrseven
