私立华联学院：《C语言程序设计》课程电子教案（PPT课件）第七章 结构体和共同体
文件格式: PPT大小: 1.04MB页数: 57
1. 数据和数据类型的概念 2. C语言基本元素 3 常量和变量 4 整型、实型、字符型数据的表示 5 运算符和表达式 6 数据的输入和输出
文件格式: PPT大小: 1.13MB页数: 83
私立华联学院：《C语言程序设计》课程电子教案（PPT课件）第三章 结构化程序设计
文件格式: PPT大小: 1.31MB页数: 102
私立华联学院：《C语言程序设计》课程电子教案（PPT课件）第一章 初识C语言（负责人：周鹏梅）
文件格式: PPT大小: 2.36MB页数: 14
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）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