CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
有限度的规避——凯亚尔司法规避观点评析 学位论文
2017
作者:  吴兵
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
含假结RNA二级结构类的图语法 期刊论文
计算机工程与应用, 2008, 卷号: 44, 页码: 23-25,105
作者:  高世乐;  丁克诠
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/27
基于时序逻辑的编译优化形式化描述及测试用例生成方法 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
夏勇
收藏  |  浏览/下载：22/0  |  提交时间：2011/03/17
一种基于图重写的计算机安全风险分析系统 期刊论文
计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274
李娜; 谢冬青
收藏  |  浏览/下载：18/0  |  提交时间：2011/07/13
基于幂表的并行加法器的归纳验证 期刊论文
电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936
张欢欢; 邵志清; 宋国新
收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29
软件开发过程中的形式化方法 期刊论文
计算机科学, 1995
朱冰; 梅宏; 杨芙清
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10
基于重写技术的自动定理证明 期刊论文
计算机科学, 1992, 期号: 2, 页码: 79-80,24
张健
收藏  |  浏览/下载：7/0  |  提交时间：2010/08/11

©版权所有 ©2017 CSpace - Powered by CSpace