中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ 期刊论文
计算机科学技术学报：英文版, 2001, 卷号: 16.0, 期号: 005, 页码: 426-433
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：73/0  |  提交时间：2021/01/14
Petri网  非对称选择网  局限性  
The Structure and Semantics of an Object—Oriented Logic Programming Language：SCKE 期刊论文
计算机科学技术学报：英文版, 1995, 卷号: 10.0, 期号: 1.0, 页码: 74-84
作者:  金芝
收藏  |  浏览/下载：65/0  |  提交时间：2021/01/14
程序设计  逻辑语言  SCKE语言  
The Catalog Management Strategy of Distributed Data Base Systems 期刊论文
计算机科学技术学报：英文版, 1994, 卷号: 9.0, 期号: 3.0, 页码: 193-203
作者:  Zhou LX(周龙骧);  Qin JY(秦箕英)
收藏  |  浏览/下载：70/0  |  提交时间：2021/01/14
分布式数据库系统  目录管理  并发控制  
The Distributed Logical Reasoning Language D—Tuili and Its Implementation on Microcomputer Network 期刊论文
计算机科学技术学报：英文版, 1992, 卷号: 7.0, 期号: 002, 页码: 123-125
作者:  张松懋;  曹华;  高全泉;  陆汝铃
收藏  |  浏览/下载：55/0  |  提交时间：2021/01/14
计算机网络  分布逻辑推理语言  并行程序设计