点击切换搜索课件文库搜索结果(792)
文档格式:PDF 文档大小:1.07MB 文档页数:37
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时调度(多处理器、调度异常、WCET)
文档格式:PDF 文档大小:4.82MB 文档页数:78
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式实时系统及设计方法概述(主讲:李曦)
文档格式:PDF 文档大小:2.78MB 文档页数:93
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第一版)04 实时系统设计(软件设计、控制系统、EA、语言)
文档格式:PDF 文档大小:6.66MB 文档页数:192
• 嵌入式处理器概述 • 处理器体系结构 • ARM处理器架构与编程模型 • Cortex M处理器
文档格式:PPTX 文档大小:1.07MB 文档页数:78
中国科学技术大学:《算法基础》课程教学资源(PPT课件讲稿)算法基础习题课(二)
文档格式:PPTX 文档大小:7.29MB 文档页数:70
基本概述 关键技术 研究现状 应用领域 发展趋势
文档格式:PPT 文档大小:553KB 文档页数:53
• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型
文档格式:PPT 文档大小:521KB 文档页数:34
-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳
文档格式:PDF 文档大小:408.5KB 文档页数:15
中国科学技术大学:《程序设计语言理论》课程教学资源(参考教材)第6章 递归类型
文档格式:PDF 文档大小:477.37KB 文档页数:43
中国科学技术大学:《程序设计语言理论》课程教学资源(参考教材)第2章 泛代数和代数数据类型
首页上页2930313233343536下页末页
热门关键字
搜索一下,找到相关课件或文库资源 792 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有