资源列表
[软件工程] 80C51DS1624
说明:基于单片机80C51和DS1624的数字温度计,包括原理图和详细的C语言源代码-Based on microcontroller 80C51 and DS1624 digital thermometer, C language source code, including schematics and detailed<凡卡> 在 2025-11-21 上传 | 大小:66kb | 下载:0
[软件工程] DLX_verilog
说明:自动停车场,实现对车位的控制或管理,以达到动态控制车位的目的。-the auto park< 金文标> 在 2025-11-21 上传 | 大小:66kb | 下载:0
[文件格式] Aircraft-Systems
说明:Aircraft systems and instrumentation is given in a very detailed manner<viki> 在 2025-11-21 上传 | 大小:66kb | 下载:0
[软件工程] C-Exercises
说明:C语言及实验作业(moodle),首师大信息工程专业上课用讲义,建议大一同学使用-Moodle s Exercises<Frank> 在 2025-11-21 上传 | 大小:66kb | 下载:0
[软件工程] sdasdsffdsfdfdsfgdsg
说明:交通灯的,有点多,大家自己看吧~! -Traffic lights, a little bit more, you can see for yourself ~!<touchyee> 在 2025-11-21 上传 | 大小:66kb | 下载:0
[文件格式] SPI-MCP41XXX
说明:MCP4100可编程的电位,里面有仿真图,及其完整的C代码-MCP4100 programmable potential, there is a simulation diagram, and the entire C code<wangyajie> 在 2025-11-21 上传 | 大小:66kb | 下载:1
[软件工程] 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-11-21 上传 | 大小:66kb | 下载:0