登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • ASKmod
    基于matlab的ASK调制程序,能够直接在matlab中运行(Based on the ASK modulation matlab procedures can run directly in matlab)
    2008-12-19 14:46:28下载
    积分:1
  • matlab
    基于matlab的数字基带系统各种调制解调链路,包括am,ssb,pcm等,对调制信号,误码率,眼图等进行了仿真(Matlab-based system, a variety of digital baseband modem link, including am, ssb, pcm, etc., on the modulation signal, the error rate, eye diagrams simulated)
    2011-06-04 13:32:30下载
    积分:1
  • Higher-Order-Nonlinear-correction
    利用高阶模糊函数算法,对线性调频信号传播过程中的非线性问题估计并校正(The use of higher-order ambiguity function algorithm for linear frequency modulated signal propagation in nonlinear estimation problem and correct)
    2020-10-24 15:50:01下载
    积分:1
  • windows
    最速梯度下降和广义逆最小二乘求解感知机,可以调的参数有迭代下降的因子还有广义逆求解时的向量b。(Steepest gradient descent and generalized least squares for solving inverse Perceptron, you can adjust the parameters as well as iterative decrease factor when solving generalized inverse vector b.)
    2016-11-19 16:21:21下载
    积分:1
  • imagenes
    A program to use with matlab. PDI
    2014-12-05 01:29:28下载
    积分:1
  • jiefangcheng
    matlab 经典算法程序 解方程,一些常用的经典算法,简单实用(classical algorithm matlab program solve the equation)
    2013-04-10 09:48:19下载
    积分:1
  • IMPROVEROF
    图像去噪TV模型及Matlab实现, ROF是相对比较老但是比较经典的算法之一,这里对其进行了小的变动。(TV denoising model and Matlab realized, ROF is one of the relatively old but more classical algorithm, where its small change.)
    2017-03-14 16:03:29下载
    积分:1
  • NcutClustering
    这是用matlab编的谱聚类程序,该方法能有效的用于数据分类。(This is a matlab procedures for the spectral clustering.The method is effective for data classification.)
    2009-04-15 20:37:36下载
    积分:1
  • BOS_NLTV_v1
    kd树的结构和分析及其源代码的程序使用matlab(kd tree structure and analytical procedures used and its source code matlab)
    2020-12-23 16:29:08下载
    积分:1
  • xiangguan
    matlab中的相关算法已通过验证,以及声音谱的对比(matlab related algorithms have been validated, as well as the voice of spectral contrast)
    2008-07-02 21:58:30下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载