登录
首页 » Others » sf.tar

sf.tar

于 2011-01-25 发布 文件大小:611KB
0 222
下载积分: 1 下载次数: 4

代码说明:

  携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)

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

发表评论

0 个回复

  • TaskManagerExSrc
    Not only incredibly useful utility for managing processes, but great tool for learning about the Task Manager
    2007-10-22 13:33:43下载
    积分:1
  • radial_fovs
    matlab codes for MR radial imaging
    2010-09-13 14:53:44下载
    积分:1
  • work
    svm在matlab中的应用的一些程序以及说明(svm application in matlab some of the procedures)
    2009-04-19 21:02:30下载
    积分:1
  • 2
    说明:  非最小相位MA(3),高阶统计分析,GM算法估计MA参数,Matlab源程序(GM algorithm estimates MA parameters)
    2009-05-30 15:13:06下载
    积分:1
  • PEC
    二维FDTD仿真高斯脉冲的传播,设定了不同PEC边界条件,并且可以自动生成.avi文件播放。(Propagation of two-dimensional FDTD simulation Gaussian pulse, set a different PEC boundary conditions, and can automatically generate .avi file playback.)
    2021-01-04 16:38:55下载
    积分:1
  • MATLAB
    matlab入门级别的电子书,主要是基本的操作运算和一些matlab的常用函数汇总(matlab entry-level e-books, the basic operation of arithmetic and some of the commonly used matlab function summary)
    2012-11-27 12:40:52下载
    积分:1
  • ARMA-kalman
    先对数据进行ARMA建模,再在ARMA建模的基础上进行Kalman滤波已经运行通过,而且效果很好(ARMA modeling data first, and then on the basis of ARMA modeling performed by the Kalman filter has been running, and the effect is very good)
    2016-11-09 09:44:17下载
    积分:1
  • matx_processor
    matx_processor 是MATLAB基础教程中的源程序(A matrix processor, Matx_Proc() is developed which can be used to process and edit matrices and state space models, and perform various kind of matrix analysis in a visible way. The graphical user interface facilities are extensively used to make such a program very easy and flexible to use)
    2009-03-11 17:44:54下载
    积分:1
  • moving_object_detection
    This code detects object in a Video and indicates its position in each time frame and keeps track of it. The code is written in *.m format which is executable in MATLAB(This code detects object in a Video and indicates its position in each time frame and keeps track of it. The code is written in*.m format which is executable in MATLAB)
    2009-11-04 19:24:38下载
    积分:1
  • hangman
    This file performs the famous game of HANGMAN. The rules of the Game are:There is an unknown Word whose characters are displayed as * s in front of You in the Figure Window You have nine trials to know that Word You just type a letter and press (Enter) If the letter is present in the Word, it will be placed in its right place If it is not present then You lost a trial
    2010-11-24 03:31:53下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载