[软件工程] Maude-2.6

说明：Maude也是一种模型检测验证工具，它是一个集成的验证平台。-model checker
<jack> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[软件工程] FusionWidgets_CS

说明：图表类应用例子，Fusionchart的使用案例，方便查找使用方法-The chart class application example of the use cases Fusionchart convenient Find Use
<郭靖> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[文件格式] sms

说明：电脑上实现收发短信的程序，短信猫代码,系统实现短信猫编程代码-SMS cat code
<甘霁洲> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[技术管理] 06408061

说明：n humans (as in all other mammals, except for monotremes), implantation is the very early stage of pregnancy at which the embryo adheres to the wall of the
<tej> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[软件工程] dt940adt930-develop-environment

说明：dt930工具压缩包,可直接加入.c文件，.bat批处理进行编译，生成.lod文件，上传到dt930上运行。-dt930 compression tool kit can be added directly to the. c file,. bat batch compile, generate. lod files uploaded to the dt930 runs.
<龚> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[软件工程] 51dpj

说明：基于51单片机的超声波测距仪设计——数据测量与发送 这套系统软硬件设计合理、抗干扰能力强、实时性良好，经过系统扩展和升级，可以有效地解决汽车倒车。 -51 SCM ultrasonic range finder based design- measuring and transmitting data of the system hardware and software design is reasonable, strong anti-interference ability, good
<徐菲> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[行业发展研究] tutorial_asic_v12_1

说明：tutorial_asic_v12_1 Digital Design Flow Tutorial for EDA Tools: Synopsys Design Compiler Mentor Modelsim Cadence SOC Encounter
<yosso> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[软件工程] Embedded-c-P-P-language-

说明：这是一篇关于嵌入式C++的精华集锦，能够让我们快速的了解嵌入式C++。-Embedded c++ language essence article highlights
<曾德伟> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[文件格式] CoreJava(TiengViet)

说明：javacore for newbee in java
<toan> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[文档资料] hash_blake

说明：本算法，下C环境下，实现了blake算法-implent blake by Cimplent blake by C
<马明军> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[编程文档] WM-SDK-3.1-Quick-Start-Guide

说明：TLW8802 Marvell wireless Microcontroller SDK3.1技术文档-TLW8802 Marvell wireless Microcontroller SDK3.1 Guider
<raorenhua> 在 2025-10-12 上传 | 大小：1.53mb | 下载：0

[文档资料] 压缩感知图像重建

说明：详细介绍了KSVD、OMP、IRLS 、 Dantzig Selector 、MP 等算法的原理，并在MATLAB平台上编程实现，撰写PPT进行讲解。(The principle of KSVD, OMP, IRLS, Dantzig Selector, MP and other algorithms is introduced in detail, and it is programmed and implemented on MATLAB platform, and PPT is writt
<hlb> 在 2025-10-12 上传 | 大小：1.53mb | 下载：2