登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • gslbq
    高斯低通,高斯高通滤波器。matlab实现,用于图像平滑处理,去噪,和锐化。(gaosi,filter。)
    2010-05-17 19:05:36下载
    积分:1
  • MapleandMatlab
    利用Maple和Matlab解决科学计算问题(Using Maple and Matlab scientific computing problem solving)
    2010-05-31 18:13:31下载
    积分:1
  • Rician8PSK
    8PSK信号调制,基于matlab源代码。并计算误码率(8 PSK modulation signal, based on the matlab source code. And calculate the error rate)
    2015-04-05 12:47:58下载
    积分:1
  • CA
    元胞自动机源代码 用于动态仿真交通流模型 分析流量 密度 评价速度等指标(Cellular Automata source code for the dynamic simulation model to analyze traffic flow density assessment rate and other indicators)
    2014-02-09 15:27:12下载
    积分:1
  • fsk
    用2fsk和2ask调制解调来仿真对语音信号的提取等(With 2 FSK and 2 ask demodulation of speech signal to the simulation of extraction, etc)
    2012-03-31 19:00:59下载
    积分:1
  • code
    Matlab code for audio coding
    2013-01-30 16:22:36下载
    积分:1
  • SVMbaseddetectionofthepopulation
    基于SVM的人口检测 把SVM这种比较优化的分类器用于人口检测中去 以得到较好的效果(SVM-based detection of the population compared to such optimized SVM classifier to test for the population in order to obtain good results)
    2009-05-14 19:41:15下载
    积分:1
  • DOAofMUSIC
    介绍了用MUSIC算法进行DOA估计的原理喝仿真结果(Introduction MUSIC algorithm using the principles of the estimated DOA drink simulation results)
    2008-07-01 10:54:16下载
    积分:1
  • Small-spectral-analysis
    说明:  matlab程序,小波谱分析mallet算法经典程序,包括1.正弦波定义,2.小波滤波器谱分析,3.MALLET分解算法,4.MALLET重构算法(matlab program, the small spectral analysis algorithm for the classic mallet procedures, including 1. Sine definition, 2. wavelet filter spectrum analysis, 3.MALLET decomposition algorithm, 4.MALLET reconstruction algorithm)
    2011-02-27 10:05:23下载
    积分:1
  • fdjz
    含有statcom的定风速风电机组在故障与非故障下补偿的建模与仿真(Fixed speed wind turbine contains statcom modeling and simulation at fault and non-fault compensation)
    2014-10-18 10:20:37下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载