北京化工大学：《现代工程图学》课程教学资源（PPT课件）第一章 1.2 直线的投影
文件格式: PPT大小: 1.38MB页数: 22
北京化工大学：《现代工程图学》课程教学资源（PPT课件）第一章 1.1 点的投影
文件格式: PPT大小: 1MB页数: 20
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）10_Simply-Typed Lambda Calculus
文件格式: PPTX大小: 822.54KB页数: 60
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（3/3）
文件格式: PPT大小: 1.23MB页数: 20
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（2/3）
文件格式: PPT大小: 1.9MB页数: 29
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（1/3）
文件格式: PPT大小: 1.63MB页数: 27
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）04_Lambda Calculus
文件格式: PPTX大小: 356.78KB页数: 76
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）02_CoqOverview
文件格式: PPTX大小: 131.06KB页数: 10
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）01_Introduction（主讲：冯新宇）Formal Semantics of Programming Languages
文件格式: PPT大小: 6.96MB页数: 39