综合搜索课件包文库(901)
文档格式: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
❑ 文本输入设备 ❑ 图像输入设备 ❑ 三维图形输入设备 ❑ 指点输入设备等
首页上页7879808182838485下页末页
热门关键字
搜索一下,找到相关课件或文库资源 901 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有