南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）07-Recursion Examples
文件格式: PPTX大小: 1.42MB页数: 29
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）06-Recursion
文件格式: PPTX大小: 2.84MB页数: 28
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）05-Higher-Order Functions
文件格式: PPTX大小: 716.21KB页数: 17
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）04-Environment Diagrams
文件格式: PPTX大小: 868.37KB页数: 20
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）03-Control
文件格式: PPTX大小: 839.21KB页数: 17
南京大学：《计算机程序的构造和解释 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