形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

7.1 多媒体技术的基本概念 7.2 多媒体计算机 7.3 多媒体的基本元素及文件 7.4 Windows XP的多媒体应用 7.5 多媒体工具与常用多媒体软件简介

一、 电子邮件基础知识 二、E-mail的协议 三、电子邮件客户端软件 四、邮件服务器 五、电子邮件系统的安全与发展

第一节 建模技术和模型选择 第二节 建模示例 第三节 分析步骤和计量软件的运用

5.1 DAQ软件的组成 5.2 LabVIEW的DAQ软件概述 5.3 模拟输入 5.4 模拟输出 5.5 数字I/O和计数器 5.6 DAQmx 5.7 DAQ驱动程序的开发 5.7 数据采集卡驱动程序设计及动态链接库开发

3-1 CNC装置的硬件结构 3-2 CNC装置的软件结构 3-3 可编程控制器PLC简介 3-4 CNC装置的接口电路

华中科技大学：《数控技术》课程教学资源（PPT课件）第3章 计算机数控装置 3.3 CNC装置的软件结构

《高级Web技术》参考资料：3-应用web_5-J2EE框架_阅读参考资料_J2EE高级框架实战教学视频PPT_PPT_附1软件安装

DAQ 基础知识简介 1-6 配置管理软件 MAX 7-11 DAQ 助手 Express VI 12-16

南方医科大学：《软件工程》课程教学资源（PPT课件）第5章 结构化实现 5.3 测试（原则，方法，技术）5.4 调试