资源列表
CBMCPluginSetingCfg
- CodeLite IDE 的 CBMC 插件实现,CBMC 是一个C/C++ 程序验证工具。本插件研究 CodeLite IDE的插件接口,实现了 CBMC 界面(wxCrafter绘制),获取配置文件,并构建 CBMC 命令。当前为version1-CBMC plugin for CodeLite
LRfenxiqi
- LR分析过程模拟 LR分析过程模拟 -LR analysis of LR analysis simulation analysis simulation simulation LR
html51.com-MeinvPic
- 1款精选免费微信小程序《美女图集》Demo下载(调用远程API获取图片,本地保存图片) 一个通过API调用获取图片并支持本地保存的小程序源码。 更多源码请去51小程序http://html51.com/免费下载。-WeChat small program beauty Atlas Demo download (call the remote API to obtain pictures, save the picture locally) A picture through the
The-most-simple-calculator
- 基于对话框的最小计算器的编辑,程序简单,适合vc++初学者掌握理解vc软件。-The most simple calculator,it is easy to master by Beginner
SnookerGame
- This a snooker game very interesting game. AI Based SnookervGame-This is a snooker game very interesting game. AI Based SnookervGame
App-kernel-soft
- 本源码学习要点:普通应用程序如何与内核驱动通讯。 主要功能:实现了禁止打开某个程序和禁止非法关闭某个程序。 注意事项:本程序只在Windows XP下测试过。-The source learning points: how applications communicate with the kernel driver. Main features: Do not open a program and the prohibition of illegal closure of a prog
dosrj
- 对于存储DOS应用程序(一般用汇编语言编写,短小精干)来说,一般也够用。但是,对于存储图像数据或Windows应用程序...最新版的歌词秀,只要您的机器联网,而且播放歌曲的曲名正确,它就可以自动从网上查找歌词并显示出来-storage DOS applications (general assembler language, short crack), the general adequate. However, the image data for storage or Windows app
elgmal
- elgmal加解密和签名,用MFC做的界面,可以实现加解密和签名算法,好用。。。
第七章第八节实例
- 使用EVC开发“度量衡换算器”完整实例编程。 程序短小易懂,适合于WINCE开发的初学者-use EVC development "Weights and Measures Converter" complete programming examples. Short comprehensible procedures, suitable for beginners pulled Development
7875-35453-1-PB
- FIR polyphase XILINX FPGA article
Nonparametric kernel density
- 计算数据的累计概率密度,采用三次样条插值计算分位点的值,区间预测,里面有具体程序及相关文献。(The cumulative probability density of the calculated data is calculated by three spline interpolation)
汉字字模
- 16X16汉字字模生成软件 自行设计图像自动生成字模(16X16 Chinese characters font generation software designed to automatically generate font image)
