登录
首页 » Others » while-language

while-language

于 2014-02-17 发布 文件大小:1KB
0 225
下载积分: 1 下载次数: 2

代码说明:

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

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • rsda(Matlab)
    粗糙集的matlab代码,里面包含几个文件,都是针对不同的情况使用(Rough matlab code, which contains several files are used for different situations)
    2010-10-14 15:26:30下载
    积分:1
  • bp
    说明:  MATLAB 神经网络用于数字识别源程序 手写数字识别(MATLAB neural network for digital identification of the source handwritten numeral recognition)
    2010-05-18 13:35:39下载
    积分:1
  • fir
    fir 滤波器 Systems generator 实现并转化为verilog语言(fir Filter Systems generator to achieve and into verilog language)
    2009-11-06 11:59:50下载
    积分:1
  • MATLAB4
    matlab files, submitted as part of assignmrnt number 2 of ADCS
    2011-05-17 16:51:19下载
    积分:1
  • MFDF
    Estimation for Functional Generalized Linear Models
    2013-11-27 15:56:07下载
    积分:1
  • tail_conv_code16
    LTE咬尾卷积编码,C55上验证过,回环测试成功。(LTE tail conv coder, test passed!)
    2013-12-05 23:22:20下载
    积分:1
  • MIMO-OFDM-Comms-with-MATLAB
    MIMO-OFDM wireless communications with matlab 例程。包含propagation and fading、SISO channel models、MIMO Channel models、intorduction to ofdm、 synchronization for ofdm、channel estimation、Papr reduction、inter-cell interference mitigation techniques MIMO channel capacity,attenna diversty and space-time coding techniques, signal detection for spatially multiplexed mimo systems, exploitingchannel state information at the transmitter side, multi-user MIMO(MIMO-OFDM wireless communications with matlab routines. Includes propagation and fading, SISO channel models, MIMO Channel models, intorduction to ofdm, synchronization for ofdm, channel estimation, Papr reduction, inter-cell interference mitigation techniques MIMO channel capacity, attenna diversty and space-time coding techniques, signal detection for spatially multiplexed mimo systems, exploitingchannel state information at the transmitter side, multi-user MIMO)
    2014-01-04 17:29:13下载
    积分:1
  • digital_signal_processing_laboratory_using_matlab
    Digital Signal Processing using Matlab
    2011-05-22 13:22:21下载
    积分:1
  • fsk2
    2进制移频键控的源代码,运行后得到正常结果!(2 binary frequency shift keying of the source code, running the results are normal!)
    2010-07-22 12:06:46下载
    积分:1
  • miufiu
    课程设计时编写的matlab程序代码,供做算法研究人员参考,小波包分析提取振动信号中的特征频率。( Course designed to prepare the matlab program code, Algorithm for researchers to do reference, Wavelet packet analysis to extract vibration signal characteristic frequency.)
    2016-05-14 17:18:16下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载