《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）
文件格式: PDF大小: 767.48KB页数: 203
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency
文件格式: PDF大小: 194.8KB页数: 22
Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions
文件格式: PDF大小: 707.43KB页数: 193
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics
文件格式: PDF大小: 379.12KB页数: 50
《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus
文件格式: PDF大小: 462.23KB页数: 106
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）05_Operational Semantics
文件格式: PDF大小: 329.44KB页数: 85
Sets Relations Functions Products Sums
文件格式: PDF大小: 2.15MB页数: 38
本章首先介绍了CSS3中的过渡和变形，重点讲解了过渡属性及2D转换和3D转换。然后，讲解了CSS3中的动画特效，主要包括animation的相关属性。最后，通过CSS3中的过渡、变形和动画，制作出了一个工作日天气预报页面。通过本章的学习，读者应该能够掌握CSS3中的过渡、变形和动画，并能够熟练地使用相关属性实现元素的过渡、平移、缩放、倾斜、旋转及动画等特效
文件格式: PDF大小: 1.32MB页数: 48
·多媒体的支持条件 ·CSS控制视频的宽高 ·HTML5多媒体的特性 ·嵌入视频和音频 ·视频和音频的方法和事件
文件格式: PDF大小: 1.14MB页数: 28