登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • TX2-RX1
    基于两发两收的空时码编码程序,对于有这方面需求的学者值得参考和学习。(Based on the two received two space-time coding procedures, there is in this regard for the needs of scholars worthy of reference and study.)
    2009-03-21 20:23:44下载
    积分:1
  • MarkovFeatures
    图像JPEG系数域,Markov 900维 特征提取,Matlab 下,C语言实现(Image JPEG coefficient domain, Markov 900-dimensional feature extraction, Matlab under, C language)
    2010-11-29 09:51:45下载
    积分:1
  • fer_tri
    a RXQUAL decision from the value of the GSM Frame Erasure Rate (FER) measurement
    2011-02-07 19:54:17下载
    积分:1
  • faspt_mlb
    voice tool for voice recognition
    2011-05-22 04:17:49下载
    积分:1
  • boshuxingcheng
    GPS抗干扰 波束形成 两种干扰 导数约束(GPS jamming interference beam formation of two derivative constraints)
    2015-03-19 22:31:19下载
    积分:1
  • EMD_1D
    EMD一维信号分解 ;有注释说明,方便阅读;(EMD-dimensional signal decomposition annotated instructions, easy to read )
    2016-11-23 19:20:15下载
    积分:1
  • MATLAB
    Matlab codes for numerical analysis
    2009-07-07 00:42:37下载
    积分:1
  • 6077589Time-Frequence
    基于时频分析的盲分离。用于处理非平稳信号。里面包含数据文件。(Blind source separation based on the time-frequency analysis. For handling non-stationary signals. Which contains the data files.)
    2012-05-31 11:01:20下载
    积分:1
  • Matlab--
    Matlab得基础教程,其在高等数学,线性代数,数值分析中应用和实现,以及较经典的数学建模。(Matlab was based tutorial, its higher mathematics, linear algebra, numerical analysis and implementation of applications, as well as more classical mathematical modeling.)
    2013-12-20 20:36:56下载
    积分:1
  • CST_MPI
    电磁场仿真软件CST,并行计算设置方法。(Electromagnetic simulation software CST, parallel computing setting method.)
    2014-01-12 22:54:24下载
    积分:1
  • 696518资源总数
  • 105665会员总数
  • 6今日下载