网站首页

while-language

于 2014-02-17 发布文件大小:1KB

 0  109

下载积分: 1 下载次数: 2

我要下载

代码说明：

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

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

chaoliu2
潮流算法，研究生作业。挺好用的，已经试过了。哈哈(Flow algorithm, graduate job. Very good use, has been tried. Haha)

2010-10-24 18:48:01下载

积分：1
lvshudong
用matlab实现了数字信号处理中的多采样转换，并依此原理进行采样转换滤波器的设计。(matlab)

2005-07-17 22:00:46下载

积分：1
longgekuta
说明：用龙格库塔法对系统进行仿真，系统有纯滞后和一阶惯性环节。(Runge-Kutta method using the system simulation, system time delay and first order inertia.)

2010-04-06 18:09:21下载

积分：1
echo
条带式合成孔径雷达的回波仿真程序，目标模型为点模型。(Strip of synthetic aperture radar echo simulation program, the target model for the point model.)

2012-06-11 17:03:03下载

积分：1
InverseSynthetic-MatlabFiles
逆合成孔径雷达一些基本原理的代码，适合初学者使用(Inverse synthetic aperture radar some basic principles of the code, suitable for beginners)

2013-07-16 15:35:42下载

积分：1
123455
LTE系统中频率调度算法，利用该程序可以实现小区间干扰协调，非常适合初学者。(Frequency scheduling algorithm in LTE system, using the program can realize the inter cell interference coordination, very suitable for beginners.)

2014-08-20 13:14:02下载

积分：1
optimal-feedback-controller
Optimal output feedback controller

2012-10-10 01:35:29下载

积分：1
DctVarFusion
Fusion of images using Discrete Cosine Transform

2015-03-17 01:04:39下载

积分：1
featureselection
sbs和sfs特征提取的MatLAB源代码用于多维向量提取最优(sbs Feature Extraction)

2009-03-23 15:46:26下载

积分：1
hspc.tar
hspice tool box in matlab

2009-04-12 09:13:16下载

积分：1

696518资源总数
104349会员总数
32今日下载

while-language

0 个回复

热门标签

热门下载