网站首页

while-language

于 2014-02-17 发布文件大小:1KB

 0  264

下载积分: 1 下载次数: 2

我要下载

代码说明：

Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

ASAND_MAC.dev32.i0.pr
MATLAB FILE NETWORK WSN

2011-02-15 23:50:43下载

积分：1
eluosifangkuaiV2.0
本程序是俄罗斯方块matlab版本，完成基本的功能，运行成功(matlab test simulation)

2013-12-30 15:04:45下载

积分：1
STO_E
simulator of STO estimation in OFDM sysmtem

2014-01-28 12:09:44下载

积分：1
Wind_Turbine_Simulink
风机simulink模型，包括各matlab版本(wind turbine model)

2021-04-14 21:28:55下载

积分：1
BPSK
源码是BPSK单载波调制方式下对整个系统的调制与解调(Source is a single carrier BPSK modulation of the system under modulation and demodulation)

2010-06-17 13:47:09下载

积分：1
Waterfilling
Waterfilling is weight in MIMO for higher capacity channel

2013-02-27 15:39:32下载

积分：1
-interferogram
matlab干涉图条纹追踪，建立了GUI界面(matlab interferegram tracing)

2014-12-03 09:21:43下载

积分：1
LW
说明：局域世界模型，复杂网络的多局域世界网络模型(multi-local world model complex network theory)

2014-03-29 13:11:19下载

积分：1
Tx_Rx_modified_DFT_SOFDM_ber
说明： SC-FDMA基本功能仿真，可能比较简单，但是值得熟悉了解(SC-FDMA基本功能仿真)

2010-04-27 14:24:35下载

积分：1
ppt1
使用矩形窗函数，分析信号截短对离散傅立叶变换的影响，其中原始信号为正弦函数(Use a rectangular window function, the analysis of the signal truncated discrete Fourier transform, which the original signal is a sine function)

2012-03-24 19:22:35下载

积分：1

696516资源总数
106914会员总数
0今日下载

while-language

0 个回复

热门标签

热门下载