CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
海上搜救仿真系统研究与实现 学位论文
硕士: 中国科学院沈阳自动化研究所, 2016
作者:  郑宏喆
收藏  |  浏览/下载：18/0  |  提交时间：2016/12/25
Research on a New Abstract Programming Language for Generic Constraints 会议论文
作者:  Lu, J. X.;  You, Z.;  Wang, C. J.;  Zuo, Z. K.;  Xie, W. P.
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
Exploration and implementation of visible simulation the innovative practice teaching on field and wave of electromagnetics 期刊论文
Diangong Jishu Xuebao/Transactions of China Electrotechnical Society, 2013, 卷号: 28, 期号: SUPPL.2, 页码: 204-208
作者:  An, Aimin;  Zhang, Aihua;  Huang, Ling;  Ma, Jing;  Li, Jianhai
收藏  |  浏览/下载：12/0  |  提交时间：2020/11/14
Visible simulation and emulation for characteristics of electromagnetic field of coaxial cable wave-guide 期刊论文
Diangong Jishu Xuebao/Transactions of China Electrotechnical Society, 2013, 卷号: 28, 期号: SUPPL.2, 页码: 167-171
作者:  An, Aimin;  Zhang, Aihua;  Zhang, Haochen;  Wang, Huizhong;  Ma, Jing
收藏  |  浏览/下载：10/0  |  提交时间：2020/11/14
Gdel语言延迟声明语句的语义及其实现方法 期刊论文
2012
曹炳义; 赵致琢
收藏  |  浏览/下载：4/0  |  提交时间：2016/05/17
Gödel语言操作语义描述方法研究 学位论文
2012, 2012
曹炳义
收藏  |  浏览/下载：3/0  |  提交时间：2016/02/14
Application of object-oriented technique in the OCC C compiler 期刊论文
2010, 2010
Ren Jie; Yang Xin; Shi Lei; Chen Yu; Yang Wei-kang
收藏  |  浏览/下载：2/0
Programmable Verifiers in Imperative Programming 其他
2010-01-01
Chen, Yifeng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
维哈柯文字体测试工具的研究与开发 学位论文
硕士, 北京: 中国科学院研究生院, 2009
作者:  李皓
收藏  |  浏览/下载：21/0  |  提交时间：2014/10/14
基于Web Services的多语种构件库管理系统研究 学位论文
硕士, 北京: 中国科学院研究生院, 2008
作者:  潘延辉
收藏  |  浏览/下载：33/0  |  提交时间：2014/10/13

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