登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • JohnGProakis
    覆盖了全书的信号与线性系统、随机过程、模拟调制、模拟数字转换、基带数字传输、带限信道的数字传输、载波调制的数字传输、信道容量和编码、扩频通信系统以及数字调制方法的SIMULINK仿真的 源代码(Book covers the signal and linear systems, stochastic processes, analog modulation, analog-to-digital conversion, base-band digital transmission, band-limited digital transmission channel, the digital transmission carrier modulation, channel capacity and coding, spread spectrum communication systems, and digital modulation SIMULINK simulation method source code)
    2009-04-25 13:14:35下载
    积分:1
  • MATLABControlSystemDesignandSimulationsourcecode
    书籍 MATLAB控制系统设计与仿真[张德丰][程序源代码].zip(MATLAB Control System Design and Simulation [Zhang Defeng] [source code]. Zip)
    2010-01-07 11:00:03下载
    积分:1
  • into
    This book is an introduction to two subjects:Matlaband numerical computing. This first chapter introducesMatlabby presenting several programs that inves- tigate elementary, but interesting, mathematical problems. If you already have some experience programming in another language, we hope that you can see how Matlabworks by simply studying these programs.
    2013-11-11 21:54:29下载
    积分:1
  • DMC
    动态矩阵控制方法的matlab实现,用于求解预测控制问题(an algorithm for dynamic matrix control)
    2012-05-30 06:45:21下载
    积分:1
  • random-walk
    this is a simulation of the problem random walk , coded in c
    2015-02-13 06:04:52下载
    积分:1
  • fastphaseunwrapalgorithm
    一种快速傅立叶余弦变换的方法用于解包裹相位。(A fast algorithm for phase-unwrap.)
    2010-09-25 10:42:58下载
    积分:1
  • Voicesubframe
    语音分帧程序,解决了MATLAB难以读取.WAV问题(Voice sub-frame process of MATLAB to solve difficult to read. WAV problem)
    2009-06-02 03:40:33下载
    积分:1
  • BottomUpProfileDataGridTree
    Bottom Up Profiling shows the entire callstack backwards.
    2014-01-12 10:03:22下载
    积分:1
  • GA
    说明:  example of Genetic algorithm in matlab
    2010-11-02 06:15:59下载
    积分:1
  • RD
    说明:  一个完整的环境激励下随机减量matlab算法程序(this is a program about RDT)
    2009-06-01 21:28:21下载
    积分:1
  • 696518资源总数
  • 105885会员总数
  • 31今日下载