登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • music
    上传的MATLAB代码是music算法在线阵和空间任意阵列下的形式,也可以将两者进行对比。(Upload music algorithm MATLAB code is any line array and space under the form of an array, you can also compare the two.)
    2013-10-23 10:28:47下载
    积分:1
  • HW1_2_LMS
    Adaptive filter 三种演算法RLS,LNS sign error LMS(three RLS algorithm. LNS sign error LMS)
    2006-11-05 01:27:35下载
    积分:1
  • ofdm_psk
    应用psk调制解调技术和正交频分复用技术进行通信系统的仿真(Application psk modulation and demodulation technology and orthogonal frequency division multiplexing communication system simulation)
    2013-11-07 22:45:04下载
    积分:1
  • fsjpid
    分数阶pid Simulink模型,可作为模块使用。(Fractional pid Simulink model can be used as a module.)
    2021-04-22 15:58:49下载
    积分:1
  • sequeue
    sequence data struct
    2010-11-03 13:40:22下载
    积分:1
  • matlab
    matlab下运行有界面,实现对特定图片的处理,可以设定参数值(run a matlab interface to achieve a specific image processing parameters can be set)
    2011-05-15 13:57:55下载
    积分:1
  • scmatestVer1
    scma的简单代码实现,AWGN信道。定义用户数量为6个,可选codebook数量为6(A simple simulation of scma code in AWGN channel.)
    2021-04-25 15:58:46下载
    积分:1
  • MonteCarlo
    用蒙特卡洛法实现对排队等待问题的计算机模拟 (Monte-Carlo method to realize the problem of computer simulation of waiting)
    2009-12-12 15:09:47下载
    积分:1
  • computeremulational
    说明:  这是一个计算机仿真技术用matlab编的小程序,可以识别颜色的程序并能把它分裂出来(This is a computer simulation using Matlab series of small programs, color identification procedures and make it seceded)
    2006-03-22 11:05:01下载
    积分:1
  • BatchBR_CellCult
    厌氧间歇发酵动态模拟, matlab 代码(anaerobic fermentation intermittent dynamic simulation, Matlab code)
    2006-09-26 23:08:02下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载