网站首页

while-language

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

 0  204

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

我要下载

代码说明：

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

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

发表评论

0 个回复

ldpc_tool
功能强大的ldpc_toolkit，是一个完整的实例(A complete LDPC_decode program )

2011-06-21 10:47:52下载

积分：1
kalmanfilter
kalman filter This script implements the linear filter and shows its performance On a second order under-damped LTI systems In the first part, a noisy model with two state variables is simulated and in the second part, kalman filtering is applied to estimate the real observations

2013-07-27 02:22:16下载

积分：1
tonemap_matlab
在Matlab环境中，对基于HDR图像进行色度映射处理的两种方法。函数原型只有一个，重载函数很多，适合各种参数情况下的色度映射。(failed to translate)

2013-05-08 21:04:12下载

积分：1
orl_RBF_0822_1534
MATLAB做的不错的人脸识别的程序，希望大家能受用，谢谢(color)

2009-05-20 11:36:08下载

积分：1
zifushibie
实现字符识别功能，实验报告，详细，容易理解(To achieve character recognition function, experimental report, detailed, easy to understand)

2010-01-20 19:48:10下载

积分：1
MATLAB
matlab学习书籍，有初级教程和高级讲义(the book for studying matlab which has two different scales)

2011-01-25 14:31:01下载

积分：1
LRFF
使用线性回归的方法进行预测、训练，适合初学者使用(Using linear regression method to predict training for beginners)

2020-06-30 05:40:02下载

积分：1
image_warping
matlab file for image processing

2009-12-06 03:29:39下载

积分：1
Desktop
电机模拟程序的matlab编程，是电机内部相电流的参考的生成的程序的编写，可供参考(Matlab simulation program of motor)

2011-05-28 19:31:04下载

积分：1
OFDMReception
this projeh simulates OFDMreceiver in matlab

2013-07-10 23:15:24下载

积分：1

696518资源总数
106155会员总数
8今日下载

while-language

0 个回复

热门标签

热门下载