CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
马克思主义价值哲学与价值关系的物化 期刊论文
甘肃社会科学, 2015, 期号: 2015年05期, 页码: 43-46
作者:  王珊;  鲁品越
收藏  |  浏览/下载：1/0  |  提交时间：2019/09/18
线性循环程序的终止性判定 期刊论文
系统科学与数学, 2013, 卷号: 33, 期号: 5, 页码: 626-638
作者:  李轶
收藏  |  浏览/下载：6/0  |  提交时间：2018/03/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：18/0  |  提交时间：2012/06/13
路径条件生成中的优化策略 期刊论文
计算机工程与设计, 2012, 卷号: 33, 期号: 10, 页码: 3995-3998+4003
作者:  于亚南;  周喜
收藏  |  浏览/下载：6/0  |  提交时间：2013/04/20
对“符号矩阵”在文学批评实践中的反思 期刊论文
中北大学学报(社会科学版), 2008, 期号: 1, 页码: 68-71
作者:  康建伟
收藏  |  浏览/下载：1/0  |  提交时间：2016/07/19
广告对社会排斥的建构 期刊论文
广告大观(理论版), 2008, 页码: 90-93
作者:  陈钢[1];  刘辉[2]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/06
试论媚雅广告的表达机制--兼论其对社会排斥的隐性表达 期刊论文
江苏行政学院学报, 2008, 页码: 29-34
作者:  陈钢[1]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/06
带复杂数据结构的模型检测工具 期刊论文
计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999
张轶; 林惠民
收藏  |  浏览/下载：9/0  |  提交时间：2010/08/24
基于STGA的并发程序测试 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
唐江峻
收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17
面向传值进程的一阶模态逻辑的可判定性与模型检测 期刊论文
中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110
薛锐; 林惠民
收藏  |  浏览/下载：7/0  |  提交时间：2010/08/24

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