南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）02-Names & Functions
文件格式: PPTX大小: 1.1MB页数: 22
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）01-Introduction（主讲：冯新宇）
文件格式: PPTX大小: 966.83KB页数: 22
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文件格式: PPT大小: 352KB页数: 40
《计算机科学》相关教学资源（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