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

文档格式：PPT　文档大小：786.5KB　文档页数：59

包含JSTL核心操作所需的标签,例如数据输出、循环流程控制以及URL操作等

文档格式：PPT　文档大小：872KB　文档页数：10

最常见的通信协议之一,主要用来传送文字、图片、声音等多媒体类型的数据,也是WEB信息网传输网页所使用的通信协议

文档格式：PPT　文档大小：742.5KB　文档页数：40

案例之一：Dell公司的沟通模式（www.dell.com.cn）绕过分销商等传统价值链中的中间环节

文档格式：PPT　文档大小：553KB　文档页数：53

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

文档格式：DOC　文档大小：78.5KB　文档页数：4

一、填空 1、硬盘内部由和组成。 2、盘体从物理的角度分为与等4个部分

文档格式：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

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