3.1 磁盘碎片整理工具── Vopt 3.2 数据恢复工具── FinalData 3.3 硬盘分区工具── PartitionMagic

 认识XHTML和DHTML  认识动态网页  什么是动态网页,它是如何运行的  常见的动态网页制作技术有哪些,各自有什么特点  什么是数据库  什么是LAMP  学习PHP基本语法  如何学习PHP

中国科学技术大学：《多元统计分析》课程教学资源（课件讲义）第二讲 多元数据的可视化技术

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章 数据流分析（补充）

• 基本知识 – 内存分层结构、多处理器的体系结构 • 并行计算 – 并行计算的常见方式、循环级并行 • 程序中的局部性 – 时间局部性、空间局部性、代码和数据局部性 • 矩阵乘算法及其优化 – 矩阵乘算法及分析、分块的矩阵乘算法及分析 围绕计算机体系结构而不是抽象模型来讨论

• 讨论一个活动记录中的数据布局 • 程序执行过程中，所有活动记录的组织方式