中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共6条，第1-6条 帮助

已选(0)清除 条数/页：   排序方式：
关于并行语言Gamma的结构化扩充 期刊论文
软件学报, 2000, 卷号: 011, 期号: 011, 页码: 1560
作者:  韦梓楚
收藏  |  浏览/下载：92/0  |  提交时间：2020/01/10
关于开放型物理系统的QP理论 期刊论文
软件学报, 1997, 卷号: 008, 期号: 007, 页码: 511
作者:  韦梓楚
收藏  |  浏览/下载：95/0  |  提交时间：2020/01/10
QUIOS的事件、进程和推理算法 期刊论文
软件学报, 1997, 卷号: 008, 期号: 007, 页码: 519
作者:  韦梓楚
收藏  |  浏览/下载：89/0  |  提交时间：2020/01/10
QUIOS的事件,进程和推理算法 期刊论文
软件学报, 1997, 卷号: 8.0, 期号: 007, 页码: 519-524
作者:  韦梓楚
收藏  |  浏览/下载：86/0  |  提交时间：2021/01/14
定性推理  开放系统  视图  推理算法  定性理论  
ADA---DDBMS中的并发控制 期刊论文
软件学报, 1994, 卷号: 005, 期号: 012, 页码: 51
作者:  陈东辉;  韦梓楚
收藏  |  浏览/下载：125/0  |  提交时间：2020/01/10
ADA—DDBMS中的并发控制 期刊论文
软件学报, 1994, 卷号: 5.0, 期号: 012, 页码: 51-56
作者:  陈东辉;  韦梓楚
收藏  |  浏览/下载：113/0  |  提交时间：2021/01/14
事务管理  并发控制  ADA－DDBMS  数据库