省计算机等级文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：295.07KB　文档页数：93

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems

文档格式：PDF　文档大小：438.11KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation

文档格式：PDF　文档大小：305.04KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis

文档格式：PDF　文档大小：513.93KB　文档页数：151

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

文档格式：PPT　文档大小：891KB　文档页数：64

• 一个简单的代码生成算法 • 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题

文档格式：PPT　文档大小：857KB　文档页数：65

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）第一讲代数等式理论的自动定理证明

文档格式：PPT　文档大小：2.34MB　文档页数：73

1、孤立奇点 2、留数(Residue) 3、留数在定积分计算上的应用

文档格式：PPT　文档大小：3.43MB　文档页数：88

谈极限在一元微分学中的地位极限中的主要关系极限概念极限的主要性质极限的主要计算方法

文档格式：PPT　文档大小：1.82MB　文档页数：21

掌握剪切、挤压的概念及其实用计算,键类型的选择、破坏形式以及强度的计算

文档格式：PPT　文档大小：9.03MB　文档页数：69