中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
数字签名方案中的孤悬因子和冗余数据 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 002, 页码: 249
作者:  曹正军;  刘木兰
收藏  |  浏览/下载：44/0  |  提交时间：2020/01/10
一个基于强RSA数字签名方案的改进 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 009, 页码: 1617
作者:  曹正军;  刘木兰
收藏  |  浏览/下载：109/0  |  提交时间：2020/01/10
客户/服务器风格的体系结构描述语言NEWCOM 期刊论文
计算机学报, 1998, 卷号: 021, 期号: 012, 页码: 1101
作者:  刘;  赖辉;  金芝;  蒋爱军;  陆汝钤
收藏  |  浏览/下载：81/0  |  提交时间：2020/01/10
客户／服务器风格的体系结构描述语言NEWCOM 期刊论文
计算机学报, 1998, 卷号: 21.0, 期号: 012, 页码: 1101-1111
作者:  刘;  赖辉;  金芝;  蒋爱军;  陆汝钤
收藏  |  浏览/下载：102/0  |  提交时间：2021/01/14
体系结构  描述语言  客户／服务器  NEWCOM语言  MIS  
余式方法中的线性策略以及语义策略和锁策略 期刊论文
计算机学报, 1997, 卷号: 020, 期号: 002, 页码: 174
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：18/0  |  提交时间：2020/01/10
一阶谓词演算定理机器胆的余式方法 期刊论文
计算机学报, 1996, 卷号: 19, 期号: 10, 页码: 728
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：13/0  |  提交时间：2020/01/10