佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第3章 表和表数据的操作
文件格式: PPT大小: 85KB页数: 30
佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第1章 SQL Sever2000概述（教师：孟艳敏）
文件格式: PPT大小: 536KB页数: 36
佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第10章 服务器性能和活动监视
文件格式: PPT大小: 173KB页数: 51
佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第2章 数据库文件管理
文件格式: PPT大小: 118KB页数: 30
佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第12章 ODBC数据库应用程序开发
文件格式: PPT大小: 47.5KB页数: 13
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）RTE规范与建模方法之 Domain Specific Modeling Languages（MARTE、AADL、Autosar）
文件格式: PDF大小: 2.97MB页数: 66
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）
文件格式: PDF大小: 1.89MB页数: 62
• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？
文件格式: PDF大小: 1.21MB页数: 44
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）
文件格式: PDF大小: 2.76MB页数: 70
中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式操作系统（uC、OSII）
文件格式: PDF大小: 4.85MB页数: 125