登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • LMS
    在二维空间中变步长的LMS算法 (Adaptive filtering )
    2012-05-02 16:01:38下载
    积分:1
  • H_bridge
    H桥控制的simulink仿真模型,可以作为直流电机控制系统设计的参考模型(H-bridge control of the simulink simulation model can serve as a DC motor control system design reference model)
    2021-01-27 17:38:36下载
    积分:1
  • dmf_gaijin
    改进直扩系统数字匹配滤波SIMULINK建模(Improve the system of Direct Sequence Spread Spectrum Digital matched filtering SIMULINK modeling)
    2012-06-02 23:28:58下载
    积分:1
  • Analysis-of-PN-Sequence
    介绍了m 序列和Gold 序列的原理、性能和构造方法,接着在MATLAB 中用M 语言编程实现它们的产生和分析。(Describes the m-sequence and Gold sequence of principle, performance and construction methods, and then using M language in MATLAB programming their generation and analysis.)
    2011-10-15 11:39:05下载
    积分:1
  • 29
    It can be support for wireless communication
    2013-12-24 22:10:47下载
    积分:1
  • Grid_Connected_Fuel_Cell
    It contains the matlab simulation for the Grid connected fuel cell
    2016-12-26 20:32:50下载
    积分:1
  • 10040129
    文件包含两个m文件,一个是QPSK的主函数文件和单径的瑞利衰落信道fade.m文件,实现的对qpsk的过程进行了仿真(在瑞利和高斯信道的作用下)。绘制出了在各个阶段的波形图(M file contains two files, one file is the main function of QPSK and single path Rayleigh fading channel fade.m file qpsk the process of implementation of a simulation (in the Rayleigh and Gaussian channel under the action.) Drawn out at each stage of the waveform)
    2010-11-09 23:00:36下载
    积分:1
  • laplacian
    拉普拉斯变换源码实现 用MATLAB实现的 对正学习图像处理的初学者很有帮助。希望对大家有帮助(Laplace transform source code to achieve the right to use MATLAB to achieve is very helpful for beginners to learn image processing. Hope you help)
    2010-03-12 12:51:23下载
    积分:1
  • VC++withMatlab
    很有用的一个资料,可以帮助你更加深入的了解VC(a very useful information, I can help you more in-depth understanding of VC)
    2007-01-10 09:29:29下载
    积分:1
  • zuixiaoercheng
    本程序具体描述了利用最小二乘算法对混合信号进行AR参数和其功率谱估计。(This procedure describes the use of least square algorithm for mixed signal AR parameter and its power spectrum estimation. )
    2012-11-26 20:58:52下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载