《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
文件格式: PPT大小: 731KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
文件格式: PPT大小: 414.5KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
文件格式: PPT大小: 585.5KB页数: 21
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文件格式: PPT大小: 496.5KB页数: 40
• 用户自定义成分 • GUI标准组件 • Java事件处理 • 布局设计 • 容器
文件格式: PPT大小: 422KB页数: 55
• 算法 ➢递归算法 ➢排序算法 • 数据结构 ➢ 链表 ➢ 队列 ➢堆栈 ➢ 树
文件格式: PPT大小: 318.5KB页数: 32
• Java 的类 ➢系统定义的类（Java APIs） ➢用户程序自定义的类 • 类的定义 • 对象 • 类成员的修饰符
文件格式: PPT大小: 328.5KB页数: 31
• Java 程序剖析 • Java 语言基础 ➢ 字符集 ➢ 类型 ➢ 语句
文件格式: PPT大小: 330.5KB页数: 54
• Java 程序类型 • Java 程序结构 • 实验开发环境-JDK • 图形界面的输入输出 • 字符界面的输入输出
文件格式: PPT大小: 308KB页数: 45
• 什么是 Java ? ➢A programming language ➢A platform(Java APIs, JVM) • Java的发展历史 • Java 技术 • Java vs. C++ • Java 程序
文件格式: PPT大小: 765.5KB页数: 48