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

[行业发展研究] webv8

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

[软件工程] ADC

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

[软件工程] TIMER0

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

[编程文档] visacom

说明：some good places to begin to learn how to program instruments using Agilent Technologies VISA COM I/O.-some good places to begin to learn how to program instruments using Agilent Technologies VISA COM I/O.
<V.Leu> 在 2025-09-26 上传 | 大小：468kb | 下载：0

[软件工程] PICI2C

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

[文档资料] TextToSound

说明：本文简单介绍了如何运用VC编程，Microsoft Speech SDK 建立自己的文本语音转换应用程序. -This paper briefly describes how to use VC programming, Microsoft Speech SDK to create your own text to speech application.
<zhuonaiqi> 在 2025-09-26 上传 | 大小：19kb | 下载：0

[文件格式] candemo.tar

说明：测试SOCKETCAN的原始代码，绝对第一版本！原创代码啊，不容易！-very good this is socket can test code!
<阿呆> 在 2025-09-26 上传 | 大小：4kb | 下载：0

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

说明：Matrix Keypad with MikroC Library
<wis> 在 2025-09-26 上传 | 大小：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-09-26 上传 | 大小：380kb | 下载：0

[软件工程] ssh11

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