登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • sobreAOK
    Time-frequency representations with fixed windows or kernels figure prominently in many applications, but perform well only for limited classes of signals.
    2010-08-10 02:46:09下载
    积分:1
  • matlab_basic_book
    MATLAB基础教程,找了好久的,入门的抓紧学了啊(matlab_basic_book)
    2010-12-07 18:32:25下载
    积分:1
  • cfastica_public
    Implements the fast fixed-point algorithm for independent component analysis and projection pursuit.
    2010-01-24 21:43:23下载
    积分:1
  • cyclecode
    用matlab写的的循环码编解码程序,同时还有系统仿真的性能分析(Matlab write the loop encoding and decoding procedures, as well as system simulation and performance analysis)
    2012-04-22 15:50:45下载
    积分:1
  • fmopso
    模糊多目标粒子群算法,基于matlab环境,可供学习者参考。(Fuzzy multi-objective particle swarm algorithm, based on the Matlab environment for learners Reference.)
    2013-01-28 19:21:06下载
    积分:1
  • evolve2
    matlab pso-xc evolve2.m matlab pso-xc evolve.m
    2013-10-24 22:33:53下载
    积分:1
  • wienerfilter
    利用matlab研究使用维纳滤波器对语音信号去噪的例程(Using matlab studies using Wiener filter speech signals denoising routines)
    2016-06-15 16:56:29下载
    积分:1
  • Digital-signal-carrier-transmission
    数字信号的载波传输,讲义,内容翔实,供参考。(Digital signal carrier transmission, lectures and informative, for reference.)
    2010-02-09 11:30:45下载
    积分:1
  • PFC
    说明:  介绍了一种单级功率因数校正(PFC)变换器,重点讨论了变换器的主要设计。 关键词:变换器;单级功率因数校正;设计 (Introduced a single-stage power factor correction (PFC) converter, the main focus on the converter design. Key words: converter single-stage power factor correction Design)
    2011-04-01 09:19:20下载
    积分:1
  • toolbox_graph
    tool box graph genenration in matlab using matlab code
    2015-02-24 19:03:07下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载