跳至内容
|
跳至导航
网站地图
可访问性
联系
搜索
仅在本栏目
高级搜索
频道
首页
新闻
公告
成员
科研
教学
文献
活动
关于
个人工具
登录
您位于:
首页
→
成员
→
兴趣专长
→
计算理论
导航
教师
教工
研究生
毕业生
访问学者
客座教授
兴趣专长
面向服务的计算
软件复用
系统管理
可信软件
分布计算与中间件
测试与验证
形式化技术
自主管理
设计模式
需求工程
规约及验证
体系结构与设计
分析与测试
逆向工程与重构
程序理解
工具与环境
经验软件工程
开发范型与过程
软件度量
面向侧面的开发
移动与嵌入式系统
开放标准与认证
配置管理
分布协同开发
计算理论
语言及编译
操作系统
研究小组
Info
文档操作
发送
打印
计算理论
Computing theory
«
2012年 五月
»
五月
一
二
三
四
五
六
日
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
友情链接
北京大学软件所
高可信软件技术重点实验室
软工所内网门户
软工所邮件系统
软工空间
Powered by Plone
Hits:
004959
Since 2008/12/23
