计算机科学技术文库下载_中国高校课件下载中心

文档格式：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章泛代数和代数数据类型

文档格式：PDF　文档大小：239.9KB　文档页数：12

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章引言