[软件工程] 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-08-27 上传 | 大小：66kb | 下载：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-08-27 上传 | 大小：1.31mb | 下载：0

[软件工程] ADC

说明：关于pic16FADC转换的原理，和代码说明。已经验证-About pic16FADC conversion principle, and code instructions. Has been verified
<tim> 在 2025-08-27 上传 | 大小：248kb | 下载：0

[软件工程] TIMER0

说明：关于利用pic16f的定时器timer0的说明，包刮代码和列子-On the use of the timer timer0 pic16f descr iption, including scraping code and Liezi
<tim> 在 2025-08-27 上传 | 大小：105kb | 下载：0

[软件工程] PICI2C

说明：关于pic16f单片机的IIC的应用。包刮原理列子。-About pic16f MCU IIC applications. Including scraping principle Liezi.
<tim> 在 2025-08-27 上传 | 大小：48kb | 下载：0

[软件工程] Matrix-Keypad-with-MikroC-Library

说明：Matrix Keypad with MikroC Library
<wis> 在 2025-08-27 上传 | 大小：225kb | 下载：0

[软件工程] mfc-clock

说明：本文档详细介绍了如何利用MFC制作能显示在电脑桌面的动态时钟的方法。-This document details how to use the MFC produced can be displayed on the computer desktop dynamic clock approach.
<Bill> 在 2025-08-27 上传 | 大小：380kb | 下载：0

[软件工程] ssh11

说明：对文章进行增删查改，指导我们进行学习，就这样吧-you can check the doc
<陈云> 在 2025-08-27 上传 | 大小：53kb | 下载：0

[软件工程] ddr2

说明：DDR2 pcb布线规则,BGA布线应该注意-DDR2 pcb routing rules, BGA wiring should be noted
<俩天> 在 2025-08-27 上传 | 大小：25kb | 下载：0

[软件工程] ddr

说明：DDR 布线规则,pcb工程师应该多学习-DDR routing rules, pcb engineers should study more
<俩天> 在 2025-08-27 上传 | 大小：43kb | 下载：0

[软件工程] tms320dm365

说明：TI 视频解决方案,DM365 文档资料-TI video solutions, DM365 documentation
<俩天> 在 2025-08-27 上传 | 大小：1.04mb | 下载：0

[软件工程] tms320dm368

说明： TI 视频解决方案 DM368 文档资料-TI DM368 video solutions Documentation
<俩天> 在 2025-08-27 上传 | 大小：1.03mb | 下载：0