登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • Chapter_4
    Chapter 4 Matlab codes from AEMM book
    2010-12-09 11:36:16下载
    积分:1
  • regression_matlab
    Implementation of LMS-algorithm for linear regression matlab codes
    2013-04-22 12:49:27下载
    积分:1
  • final-report
    site matching of wind turbine using ANN....
    2015-02-14 14:51:42下载
    积分:1
  • Plot-for-Sensor-nodes-Residual-Energy
    Plot for Sensor node s Residual Energy
    2015-03-15 17:25:57下载
    积分:1
  • xihua
    数字细化完整代码,分模块细化,可用于数字识别(License plate number of refinement code)
    2010-06-05 20:17:37下载
    积分:1
  • rotinas
    sample for signal modulation.
    2010-09-04 05:37:41下载
    积分:1
  • HowToUseMatlab
    说明:  如何在C++中使用Matlab,这份资源希望能够帮助到大家。最近看了太多关于图象处理方面的内容。前辈们都很努力啊!(How to use C++ in Matlab, the resources that we hope to be able to help. Recently read too much on the aspects of image processing. Predecessors, have worked very hard ah!)
    2009-08-07 20:30:19下载
    积分:1
  • clustring
    clustring(Density-Based Spatial Clustering of Applications with Noise) is a data clustering algorithm proposed by Martin Ester, Hans-Peter Kriegel, Jö rg Sander and Xiaowei Xu in 1996.[1] It is a density-based clustering algorithm because it finds a number of clusters starting from the estimated density distribution of corresponding nodes. DBSCAN is one of the most common clustering algorithms and also most cited in scientific literature.
    2011-04-20 16:01:57下载
    积分:1
  • GPS_corr
    GPS捕获过程中的相干积累算法的matlab实现(GPS MATLAB)
    2013-08-25 17:23:51下载
    积分:1
  • ConvolutionalEncodingandViterbiDecoding.m
    转载:卷积编码+维特比译码的matlab程序(Reprinted: convolutional code+ matlab Viterbi decoding process)
    2010-07-05 16:40:46下载
    积分:1
  • 696518资源总数
  • 105877会员总数
  • 14今日下载