河南中医药大学：《LINUX操作系统》2019级级教学设计_第2章：Linux基本命令（基本管理命令）

一个程序验证器的设计和实现 An Automatic Program Verifier for PointerC

安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer

6-1 系统的设计与校正问题 6-2 串联校正 6-3 反馈校正 6-4 复合校正

烟台理工学院：《计算机控制系统课程设计》课程教学大纲 Course Design of Computer Control

烟台理工学院：《深度学习课程设计》教学大纲

5.1 Turbo码的编码 5.2 Turbo码的迭代译码 5.3 Turbo码的性能界 5.4 交织器设计 5.5 分量码的优化

6.4 计数器 6.4.3 集成计数器 6.5 时序逻辑电路的设计方法

第一节 概述 第二节 组合逻辑电路的分析和设计

苏州大学：电子信息学院《电子系统综合设计》课程教学资源（课程手册）