[软件工程] FORMAL-VERIFICATION

说明：Symbolic logic generally supports the reasoning with propositions, i.e., with statements to be evaluated to true or false. Temporal logic is a special branch of symbolic logic focusing on propositions whose truth values depend on time.
<research> 在 2025-07-21 上传 | 大小：66kb | 下载：0

[单片机(51,AVR,MSP430等)] 0038Ir-decoding-procedures

说明：本程序用c实现了对家用遥控器红外代码的解码，这样很方便的使用遥控器实现各种功能。-This procedure using c implementation of household decoding infrared remote control code, this very convenient use remote control to realize various functions
<heyanhu> 在 2025-07-21 上传 | 大小：2kb | 下载：0

[单片机(51,AVR,MSP430等)] Bootloader

说明：PIC18f demo版 usb接入pc自动辨认，bootload的c语言源码 -PIC18f demo version pc usb access automatically recognize, bootload c language source code
<tim> 在 2025-07-21 上传 | 大小：58kb | 下载：0

[VHDL编程] duoji

说明：基于FPGA的，运用Verilog语言编写的，通过黑线检测来控制舵机的程序。-FPGA-based, using Verilog language, through the detection of black lines to control the steering process.
<姜敏敏> 在 2025-07-21 上传 | 大小：339kb | 下载：0

[行业发展研究] webv8

说明：安易王V8是使用新一代科技开发的纯WEB版财务及ERP管理软件，具有B/S结构的免安装， 易维护，移动互联的特点外。还有具有普通WEB版软件没有的特点。 一是页面不用刷新。 二是所有操作方便，与桌面安装程序操作极其相像。 三是数据进行压缩传输，比普通C/S结构的远程系统取代码要快100倍左右，比远程桌面方式的远程系统要快十倍左右，比传统的WEB版B/S结构程序要快15倍左右。 四是解决了WEB版的打印难题，是传统的B/S系统不能比拟的。 演示及下载地址：
<anyicw> 在 2025-07-21 上传 | 大小：24kb | 下载：0

[软件工程] AndEnginee-Tutorial-V-

说明：AndEnginee Tutorial 中文版 完美的介绍了AndEngine的基础知识 是开发新手所必备的启蒙老师。-AndEnginee Tutorial Chinese version of the perfect introduction to the basics of the AndEngine is necessary for novice developers teacher.
<bihao> 在 2025-07-21 上传 | 大小：1.31mb | 下载：0

[单片机(51,AVR,MSP430等)] USB-Device---HID---Mouse

说明：pic18f利用usb读取sd卡。用c语言编写。C18编译-pic18f using usb sd card reader. Using c language. C18 compiler
<tim> 在 2025-07-21 上传 | 大小：51kb | 下载：0

[游戏引擎] AndEngine_test

说明：摇杆控制精灵动作。-Joystick control wizard action.
<bihao> 在 2025-07-21 上传 | 大小：64kb | 下载：0

[易语言编程] Emokuaiyuanmahuhuan

说明：可以将源码变成模块。也可以将模块变成源码-You can become a source module. The module can also become a source
<张文杰> 在 2025-07-21 上传 | 大小：4kb | 下载：0

[游戏引擎] AndEngine_test_3

说明：AndEngine 引擎小程序-AndEngine engine applet
<bihao> 在 2025-07-21 上传 | 大小：102kb | 下载：0

[JSP源码/Java] DengLu

说明：可用于软件开发的登陆页面，此页面精简漂亮，里面的代码精简易懂，有很好的兼容性- Can be used in the software development of the landing page, the page streamlined pretty, the inside of the code concise and easy to understand, and have very good compatibility
<谭永强> 在 2025-07-21 上传 | 大小：1kb | 下载：0

[游戏引擎] AndEngine_test_52

说明：AndEngine 例子小程序-AndEngine example applet
<bihao> 在 2025-07-21 上传 | 大小：126kb | 下载：0