综合搜索课件包文库(990)
文档格式:DOCX 文档大小:18.58KB 文档页数:9
北京中医药大学:《计算机基础》课程教学资源(试卷习题)全国计算机等级考试二级笔试试卷——Access 数据库程序设计
文档格式:DOCX 文档大小:20.75KB 文档页数:6
北京中医药大学:《计算机基础》课程教学资源(试卷习题)全国计算机等级考试二级笔试试卷——Access 数据库程序设计
文档格式:DOCX 文档大小:17.78KB 文档页数:11
北京中医药大学:《计算机基础》课程教学资源(试卷习题)全国计算机等级考试二级笔试试卷——Access 数据库程序设计
文档格式:PPT 文档大小:553KB 文档页数:53
• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型
文档格式:DOC 文档大小:412.5KB 文档页数:13
1. 计算积分:
文档格式: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
• 一个简单的代码生成算法 • 涉及存储管理,指令选择,寄存器分配和计算次序选择等基本问题
首页上页5758596061626364下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有