登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • suijimoni3
    刘宝碇《不确定规划及应用》第4章例4.4的matlab程序。内容简单,但可以有效的帮助初学者理解随机模拟的原理。(Liu anchor " uncertain Planning and Applications" in Chapter 4 Example 4.4 matlab program. Content is simple, but can effectively help beginners understand the principles of stochastic simulation.)
    2015-03-20 10:15:08下载
    积分:1
  • matlab
    这是一个电力系统无功优化的MATLAB程序,在MATLAB7上已调试通过,其实例节点有点少,可对其进行改进(This is a reactive power optimization of MATLAB procedures have been debug MATLAB7 passed, the example of a little less nodes may improve their)
    2007-12-26 15:20:33下载
    积分:1
  • 18c319a24b10
    颜色空间的转换,RGB,YCBCR,HSL等等空间的互换(Color space conversion)
    2011-05-03 12:48:59下载
    积分:1
  • cbir
    基于内容的图像检索程序,matlab代码,SVM分类实现,检索效果好,对于研究基于内容检索的学习者用处很大(Content-based image retrieval procedures, matlab code, SVM classification to achieve good retrieval effect, for content-based retrieval research has proved very useful to learn)
    2013-12-19 17:19:24下载
    积分:1
  • chanerguangxianjiguangqi
    掺铒光纤激光器动态模型数值化,采用掺铒光纤分段处理的方法,仿真光信号在环形腔内的传输(Erbium-doped fiber lasers numerical dynamic model using erbium-doped fiber section processing method, the simulation of the optical signal transmitted in the annular cavity)
    2020-11-06 17:09:49下载
    积分:1
  • AuditoryToolbox
    matlab 音频处理工具箱 音频编辑 计算频谱分析(audio processing toolbox)
    2010-09-29 12:01:15下载
    积分:1
  • SVMbyQuadprog
    This is a support vector machine program developed based on quadprog. Polynomial and RBF kernel are supported. Test it by executing example.m with supported data.
    2009-05-01 13:24:38下载
    积分:1
  • viterbi
    matlab的维特比译码程序,加入汉明距离的提取(matlab Viterbi decoding process, from extraction Jiaruhanming)
    2011-01-23 12:47:15下载
    积分:1
  • ALOHA
    纯ALOHA协议的源程序。分为主程序和调用程序(The source of the pure ALOHA protocol. Divided into the main program and the calling program)
    2012-05-22 17:13:37下载
    积分:1
  • EDA
    EDA技术与应用 数字日历电路的设计 MATLAB 数字逻辑电路(EDA technology and application )
    2013-03-30 20:59:45下载
    积分:1
  • 696518资源总数
  • 106148会员总数
  • 10今日下载