已选(0)清除
条数/页: 排序方式:
|
| 事件驱动的BPEL引擎架构设计与实现 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 南方
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:14/0  |  提交时间:2011/03/17
|
| Formalization and specification for controlling process modularity in mobile computing 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2011/03/17
|
| 语义Web中的自动推理和主动规则终止性分析 学位论文 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:16/0  |  提交时间:2011/03/17
|
| Intuitionistic Linear-time µ-Calculus 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 Syed Asad Raza Kazmi
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2011/03/17
|
| 新型网络环境中访问控制模型的研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 张宏
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2011/03/17
|