《Java面向对象程序设计》课程教学资源（PPT课件讲稿）第四章 Java图形用户界面设计 4.2 AWT和Swing组件

一、MIS的含义 二、MIS的演变过程 三、MIS的设计 四、MIS的实施 五、MIS的成败原因

4.1 结构隔震、消能和减震控制总论 4.2 结构隔震 4.3 结构消能减震 4.4 结构主动减震控制简介

一、GIS数据库设计 二、空间数据组织 三、系统实例

14.1执行系统方案设计的过程和内容 14.2执行系统的功能原理设计

一、GIS应用项目的组织管理 二、GIS数据库设计及实例 三、MAPINF0简介

CH1：微型计算机概论 CH2：微处理器 CH3：总线驱动 CH4：存储器系统设计 CH5-6：I/O接口

1.1 商业组织的变革 1.2 系统的基本概念和功能 1.3 系统分析员的角色与要求

一个程序验证器的设计和实现 An Automatic Program Verifier for PointerC

安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer