秋季学期课程 课程大纲：

2009-2010学年第1学期课程大纲

春季学期课程 课程大纲：

311020040 Introduction to Object-Oriented Programming (面向对象程序设计导论)

311038040 Database_Systems (数据库系统)

311039030 Digital Logic：Applications and Design (数字逻辑：应用与设计)

小学期课程 课程大纲：

311010020 Distributed System and Internet (分布式系统与互联网)

311059010 SServer Virtualization Technology (服务器虚拟化技术)

311031020 Software System Model Checking (软件系统形式化验证)