网站首页

while-language

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

 0  186

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

我要下载

代码说明：

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

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

发表评论

0 个回复

windmppt
风机直驱永磁同步风力发电机最大功率跟踪自己搭的永磁发电机模型(Fan Direct-drive permanent magnet synchronous wind turbine Maximum power tracking Self-rigid permanent magnet generator model Suitable for beginners to learn)

2020-12-10 17:29:19下载

积分：1
01-Biometrics-Lecture-Part1-2008-09-15
biometroics lecture notes

2009-04-30 12:02:07下载

积分：1
prj_ip2
performs matlab edge detection.

2012-04-15 14:39:09下载

积分：1
LFM1_mp_wv_1_20
这是一个关于Wigner-Ville分布的线性预测算法的程序,大家看看可以作为参考资料研究一下了.(This is one of the Wigner-Ville distribution of the linear prediction algorithm procedures, We can look at the study as a reference.)

2007-05-11 17:51:39下载

积分：1
music_SNR_gujiwucha
空间功率谱估计之music算法的源代码代码不长很常见很方便(Spatial power spectrum estimation of the music algorithm source code is not long, convenient common)

2011-09-13 09:49:05下载

积分：1
raisecos
绘制不同情况下的升余弦滚降系统频谱，并画出其各自对应的时域波形(Draw different circumstances raised cosine roll-off system spectrum, and draw their own corresponding time-domain waveform)

2013-09-01 14:24:40下载

积分：1
drawEigenmodes2Dify
for fem matlab for solving all 2D and 3D problem

2013-04-05 18:42:27下载

积分：1
Addition
addition of two sequences in matlab

2010-10-18 00:34:10下载

积分：1
BLDCM
无刷直流电机的控制模型，根据实际的仿真结果，能够得到很好的仿真效果，结构理想，很好(failed to translate)

2013-05-08 20:11:56下载

积分：1
8-4-convective-diffusion
对流扩散方程的上风差分，又称为迎风差分。时间项为显性差分。(Convection diffusion equations with upwind difference, also known as the upwind difference. Time for the explicit finite difference. )

2015-03-27 10:45:40下载

积分：1

696518资源总数
105877会员总数
14今日下载

while-language

0 个回复

热门标签

热门下载