< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语...
LT+codes技术资料下载专区,收录1,284份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语...
two path fading(qpsk) 这个是我写的关于qpsk的MIMO信道mmse的计算方法,站长帮帮忙,我现在很需要一篇<信道估计算法>(基于瑞利衰落信道的LS算法的Matlab程序),后天就要交了,救人一命胜造7级...
[问题描述] 在二叉排序树中查找关键字为KEY的记录 [输入] 有序表输入要查找元素的关键字 [输出] 查找成功是即可显示查找成功 #include <stdlib.h> #include <stdio.h&...
<SQLServer2005数据库基础及应用技术教程与实训>,2008年北京大学出版社出版,大学用的教材,仅供个人学习参考用!讲解详细!想学SQLSERVER2005的朋友赶紧下
这是一本国外经典的计算机网络教材,在国内的许多学校的<计算机网络>双语教学中都使用本教材.它的影印版已由清华大学出版社出版.
将1到N的N个自然数排成一列,共有1*2*3……*N种不同的排列方法,如N=3时,有6种排列方案,分别为123,132,213,231,312,321.试编程序输出1到N的全部排列,假设N<10. 为了设计出由计算机输出1到N的...
编译原理的课程设计,对PL0进行扩充完成内容如下:1. 基本内容: (1)增加单词:保留字;运算符 (2)修改单词:不等号# 改为 <> (3)增加条件语句的ELSE子句 (4)扩充赋值运算:+= 和 -= (5)扩充...
<算法导论>第二版大部分算法实现. 1. 各类排序和顺序统计学相关 2. 数据结构 2.1 基本数据结构 2.2 散列表 2.3 二叉查找树 2.4 红黑树 2.5 数据结构基于红黑树的扩张 3. 高级涉及和分析...
此电子书资料来源于<无忧启动论坛DOS讨论区>。是我在无忧启动论坛DOS讨论区里看到magictek版主发的一篇帖子《MS-DOS 6.22命令帮助全集 》。 magictek版主发的是一个.img的软盘映像文件。虽然感觉很好。...
要想成为网络高手,起码要懂得资本的网络常识,而在当今中国用得最多的参考书是<计算机网络>(第四版) 谢希仁主编.这个是课件.里面不仅有Tcp/IP协议的说明,ISO 七层模型.网络安全,各种协议的控制和计算,比如FTP等各层的协...