中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
一个基于单向散列函数的实用等级密钥管理方案 期刊论文  OAI收割
北京大学学报（自然科学版）, 2008, 卷号: 44, 期号: 4, 页码: 527-536
韩心慧; 龙勤; 司端锋; 诸葛建伟; 叶志远
收藏  |  浏览/下载：79/6  |  提交时间：2011/06/10
优先级顶协议的形式化验证 期刊论文  OAI收割
计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279
张博颖
收藏  |  浏览/下载：57/6  |  提交时间：2011/07/01
两种X~2形式等价性证明的推广(英文) 期刊论文  OAI收割
高能物理与核物理, 2006, 期号: 2, 页码: 140-146
作者:  莫晓虎
收藏  |  浏览/下载：15/0  |  提交时间：2015/12/21
无网格法及其最新进展 期刊论文  OAI收割
力学进展, 2005, 卷号: 35, 期号: 3, 页码: 323-337
作者:  顾元通;  丁桦
收藏  |  浏览/下载：1844/209  |  提交时间：2007/06/15
形式规约语言LFC的实现和应用研究 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
黄文集
收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17
模形式值的一些算术性质——超越数论的一个新进展 期刊论文  OAI收割
河南大学学报：自然科学版, 2004, 卷号: 34.0, 期号: 002, 页码: 1-9
作者:  徐广善
  |  收藏  |  浏览/下载：9/0  |  提交时间：2021/01/14
UNITY与典型程序设计模型的比较 期刊论文  OAI收割
计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104
肖美华; 薛锦云; 化志章
  |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29
一个支持规约获取的形式规约语言 期刊论文  OAI收割
计算机学报, 2002, 卷号: 25, 期号: 5, 页码: 459-466
陈海明; 董韫美
  |  收藏  |  浏览/下载：17/0  |  提交时间：2010/07/22
LFC语言的模式匹配实现方法 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
张强
收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17
关于函数式语言LFC实现问题的某些研究 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000
张荣华
收藏  |  浏览/下载：19/0  |  提交时间：2011/03/17