登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • flc5
    fuzzy logic code for temperatute process in sugar evaporator
    2012-04-13 20:12:23下载
    积分:1
  • travelling
    Matlab code for Travelling salesman problem
    2012-01-29 05:06:29下载
    积分:1
  • quwai_14
    说明:  该内容为变压器差动保护的模型搭建图,可以运行,能够进行区内区外故障的仿真实验,并得出正确的结论(transformer protation)
    2020-06-02 10:52:37下载
    积分:1
  • rls$lms
    rls and kalman comparison with giving input and with a channel
    2009-11-15 03:48:46下载
    积分:1
  • 21
    说明:  国内的一篇相控阵雷达分选的论文 不错 利用模糊理论(chinese paper on sorting of phased array radar )
    2012-05-10 15:21:00下载
    积分:1
  • MatlabQoSRoute-GA
    QoS routing in matlab formulticast network
    2011-08-15 19:21:14下载
    积分:1
  • tabu
    this is file for traffic networks benchmarks...
    2013-03-11 15:31:07下载
    积分:1
  • 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
  • shuangxiangdcdc
    双向对称半桥式DCDC变换器的matlab仿真模型。在光伏储能系统中很广泛应用。经验证可运行。(Bidirectional symmetrical half-bridge DCDC converter matlab simulation model. Solar energy storage system is very widely used. Experience certificates can run.)
    2012-11-26 12:07:13下载
    积分:1
  • 200551810203
    colormap in matlab using histogram for colors
    2009-04-04 18:28:03下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载