[其他小程序] Dafny

说明：dafny 一种微软推出的编程语言用于程序正确性验证。是一种新型的语言。-dafny one kind of Microsoft' s programming language for program correctness verification. Is a new language.
<erow> 在 2025-09-28 上传 | 大小：2.83mb | 下载：0

[嵌入式/单片机编程] 20090309161950F65785[1]

说明：/8051单片机TLC1549数据采集程序源代码 //单片机：At89S52 //连接类型：232 |485 接口 //校验方式：checksum //开发环境：keil C-/ 8051 TLC1549 data acquisition source code// single-chip: At89S52// connection type: 232 | 485// Check mode: checksum// development environment: keil C
<anceandt> 在 2025-09-28 上传 | 大小：7kb | 下载：0

[Windows编程] Demo

说明：创建UI线程，VC++精选编程学习源码，很好的参考资料。-Create a UI thread, VC++ select learning programming source code, a good reference.
<什锦丁儿> 在 2025-09-28 上传 | 大小：494kb | 下载：0

[Windows编程] 847547

说明：等待线程结束，VC++精选编程学习源码，很好的参考资料。-Wait for the end of the thread, VC++ select learning programming source code, a good reference.
<什锦丁儿> 在 2025-09-28 上传 | 大小：18kb | 下载：0

[嵌入式/单片机编程] 20090910_Ver_1.0.0

说明：在DOS的系統下讀取PCI Bus 下之裝置清單的源程式代碼!-The system in DOS to read the list of devices under the PCI Bus source program code!
<tocont> 在 2025-09-28 上传 | 大小：1kb | 下载：0

[Windows编程] 95746

说明：挂起和恢复线程，VC++精选编程学习源码，很好的参考资料。-Suspend and resume threads, VC++ select learning programming source code, a good reference.
<什锦丁儿> 在 2025-09-28 上传 | 大小：19kb | 下载：0

[Windows编程] 098468

说明：安全终止线程，VC++精选编程学习源码，很好的参考资料。-Security thread termination, VC++ select learning programming source code, a good reference.
<糟熘鱼片> 在 2025-09-28 上传 | 大小：13kb | 下载：0

[嵌入式/单片机编程] 201005CAN

说明：基于CAN发程序与接收程序的设计应用实例-Procedures based on CAN send and receive program Application Design
<nthsChi> 在 2025-09-28 上传 | 大小：6kb | 下载：0

[Windows编程] Demo

说明：获得线程的退出码，VC++精选编程学习源码，很好的参考资料。-Get the thread exit code, VC++ select learning programming source code, a good reference.
<糟熘鱼片> 在 2025-09-28 上传 | 大小：15kb | 下载：0

[Windows编程] 2674

说明：使用临界区，VC++精选编程学习源码，很好的参考资料。-Use critical zone, VC++ select learning programming source code, a good reference.
<糟熘鱼片> 在 2025-09-28 上传 | 大小：20kb | 下载：0

[嵌入式/单片机编程] 20110313

说明：实现正反转 加水 充电全自动化的自动浇花器程序-turn forward and turn back add water and eneryg, auto watering flower.
<yearin> 在 2025-09-28 上传 | 大小：2kb | 下载：0

[汇编语言] shoot

说明：这是一个用汇编语言实现的计时器程序，能够从毫秒计时到小时，按S开始计时-This is an assembly language program timer, timing can be from milliseconds to hours, press S to start timing
<钱浩> 在 2025-09-28 上传 | 大小：5kb | 下载：0