登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • Time-Smoothing-FAM
    采用时域平滑FAM法画出的信号循环谱图,其中包括FAM子函数和画图的主函数(FAM time-domain method used to draw a smooth spectrum of the signal cycle, including FAM Functions and main function of drawing)
    2011-01-18 16:39:15下载
    积分:1
  • periodogram
    convolution codes using matlab
    2011-05-22 14:50:24下载
    积分:1
  • power-flow
    网络的三相计算机潮流案例,基于MATLAB 的计算机潮流及其可视化(Three-phase current case computer networks, computer-based trend MATLAB and Visualization)
    2015-05-29 12:57:53下载
    积分:1
  • lsmin
    Numerical Methods Using MATLAB, 4e
    2010-10-08 00:43:34下载
    积分:1
  • EMTM_Static
    电磁转矩电动机广泛应用于电液伺服阀。它们有助于扭矩转换成比例的控制电流。(The electromagnetic torque motors are widely used in electrohydraulic servovalves. They serve to convert the control current into a proportional torque. For more details about this issue, please refer to my book:)
    2010-05-31 16:40:49下载
    积分:1
  • three_arry
    基于信号匹配原理的三阵元信号方位估计的方法(Based on the principle of signal matched the three array element signal DOA estimation methods)
    2008-08-14 21:17:05下载
    积分:1
  • face-recognition
    一个有关人脸识别的程序,是PCA和SVM的,可以运行(a code about face recognition)
    2012-04-18 21:51:11下载
    积分:1
  • commands-of-Mathematical-morphology
    数学形态学相关代码,带所需图片,和m文件(basic commands of Mathematical morphology)
    2011-10-08 13:42:58下载
    积分:1
  • frequency-modulation-method
    雷达测伪距 采用的正负调频法 matlab仿真源码 (The radar measured pseudorange positive and negative frequency modulation method matlab simulation source code)
    2016-02-18 01:02:47下载
    积分:1
  • Untitled
    一个绘图的经典程序,非常经典,应该算是我见过最好的了。(A drawing of the classic procedure)
    2012-05-17 15:04:15下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载