登录
首页 » Others » while-language

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 个回复

  • matlab_instruction
    中大数计的matlab的ppt,数学建模竞赛资料(The large numbers of dollars matlabppt)
    2014-01-22 16:45:54下载
    积分:1
  • Flow-calculation
    潮流计算在matlab中的程序使用,根据电力系统中的公式,在matlab中进行实现(Flow calculation in matlab program using a formula based on the power system, carried out to achieve in matlab)
    2013-12-23 14:10:31下载
    积分:1
  • mart-Microgrid-PSO
    pso基础代码,微电网基础功能实现,简单的微网收益最大(PSO basic code,The basic functions of microgrid are realized. Simple microgrid benefits the most.)
    2018-12-20 10:49:10下载
    积分:1
  • Matlab1
    MATLAB程序设计基础教程的视频教程,对初学者比较有帮助(MATLAB Programming Essentials video tutorial for beginners and more help)
    2008-06-24 13:27:26下载
    积分:1
  • shiyanbaogao
    matlab最常用的一些程序 用于调用 实现功能 可根据需要改变数字 完整的实验报告(matlab program for some of the most commonly used function call can be changed to achieve a complete test report number)
    2010-05-29 13:08:04下载
    积分:1
  • GA0
    这是一段遗传算法训练RBF网络的matlab程序,大家可以下载参考。(This is a genetic algorithm for training RBF network program, you can download the reference.)
    2013-12-30 18:09:09下载
    积分:1
  • jen_cw43
    从先验概率中采样,计算权重,包括最后计算压缩图像的峰值信噪比和压缩效果的源码,内含心电信号数据及运用MATLAB写的源代码。( Sampling a priori probability, calculate the weight, Including the final calculation of the compressed image peak signal to noise ratio and compression of the source, ECG data and includes source code written in MATLAB.)
    2017-03-18 18:52:14下载
    积分:1
  • Matlab-traffic-modelling-algrithm
    Matlab交通仿真程序用于仿真交通红绿灯的设计!(Matlab traffic simulation program for the simulation of traffic lights design!)
    2013-09-12 11:05:33下载
    积分:1
  • near-field-inverse-problems
    本书详细介绍了基于近场测试数据的逆散射问题的相关知识及其具体应用,这是近场问题的一个很好的例子,在人们都关注高频远场问题的背景下,提出近场的问题,对于计算电磁学的发展很有启发意义,我们的工程实际中,除了高频远场的应用外,低频近场也占有很大的份额,基于进场的反演是一个新兴的课题,需要我们共同去研究!(Book introduced in detail based on near field test data of the inverse scattering problem related knowledge and its practical application, this is a very good example of near field problems, people are concerned about the background of far field problem of a high frequency in the, near field is proposed, for the development of electromagnetism calculation is instructive. In the actual engineering, in addition to the high-frequency far field of application, low frequency near-field also occupies a large share of, based on the inversion approach is a new and developing subject, we go to study!)
    2015-06-28 20:27:02下载
    积分:1
  • dsp_examples
    The files explain aliasing , gibbs, dft and fft. All are very useful in signal processing applications and the files illustrate the contents very well with plots/graphs.
    2009-05-24 18:46:39下载
    积分:1
  • 696516资源总数
  • 106554会员总数
  • 12今日下载