网站首页

while-language

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

 0  205

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

我要下载

代码说明：

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

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

发表评论

0 个回复

esprit
频率估计的ESPRIT方法,实现频率的精确估计，并可推广到空间到达角的估计(frequency estimation with ESPRIT method)

2010-07-10 18:56:12下载

积分：1
Abstersiver
Abstersiver 超强脱壳工具很好用(Abstersiver powerful tools to good use Shelling)

2011-01-25 21:27:45下载

积分：1
a
说明： codes for matlab . .

2011-02-22 13:27:56下载

积分：1
CertDumps-1Z0-851
SCJP exam dumps. useful for exam learners

2012-07-09 14:18:33下载

积分：1
ASK.mdl
This is matlab model for ASK modulation techniques.

2009-12-22 14:28:12下载

积分：1
36CDFB1Dd01
guide to matlab program for comparing m/m/1,m/m/n and m/m/k

2012-04-30 20:47:25下载

积分：1
dzcl
海量工业数据处理使用，包括了稳态测试，剔除坏值，计算标准差和平均值等(Massive use of industrial data processing, including the steady-state test, remove bad values, calculate the standard deviation and mean, etc.)

2013-08-23 19:15:20下载

积分：1
Kalmanfilterofatwotanksystem.m
to simulate the water level in the tanks. to verify its stability, controllability and observability. design kalman filter and define and simulate the Kalman estimator(Kalman filter of a two tank system)

2015-03-24 23:47:18下载

积分：1
ICA
Imperialist Competitive Algorithm

2014-01-05 23:05:09下载

积分：1
SPLL
对三相电网输出相电压相位频率的锁相环技术simulink(Phase-locked loop SIMULINK for three-phase power grid)

2019-01-26 14:19:19下载

积分：1

696518资源总数
106161会员总数
5今日下载

while-language

0 个回复

热门标签

热门下载