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

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

条数/页： 排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
  |  收藏  |  浏览/下载：207/0  |  提交时间：2019/07/03
矩阵形式二次修正Maxwell-Dirac系统的多尺度算法 期刊论文  OAI收割
计算数学, 2019, 卷号: 41.0, 期号: 004, 页码: 419-439
作者:  付姚姚;  曹礼群
  |  收藏  |  浏览/下载：27/0  |  提交时间：2021/01/14
王文素《算学宝鉴》筹算开方新法——传统筹算开方到珠算开方的过渡形态 期刊论文  OAI收割
咸阳师范学院学报, 2017, 卷号: 32, 期号: 04, 页码: 7-14
作者:  牛腾;  邹大海
  |  收藏  |  浏览/下载：30/0  |  提交时间：2022/07/18
基于启发式方法的带参系统形式化验证 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2016
段凯强
  |  收藏  |  浏览/下载：12/0  |  提交时间：2016/05/31
下一代可信计算协议的设计与分析 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2016
邵健雄
  |  收藏  |  浏览/下载：28/0  |  提交时间：2016/06/06
软件形式化方法与应用专题前言 期刊论文  OAI收割
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东
  |  收藏  |  浏览/下载：21/0  |  提交时间：2016/12/09
钢筋腐蚀临界氯离子浓度研究综述 CNKI期刊论文  OAI收割
2014
作者:  刘诗群;  孙丛涛;  牛荻涛
  |  收藏  |  浏览/下载：11/0  |  提交时间：2024/12/18
带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
  |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
公平性约束下基于抽象和推理的活性验证 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2013
龙腾
  |  收藏  |  浏览/下载：20/0  |  提交时间：2013/05/31
保墒增的高阶人工黏性法 会议论文  OAI收割
中国力学大会——2013, 中国北京, 2013-08-19
作者:  李理
收藏  |  浏览/下载：24/0  |  提交时间：2014/04/02