|
已选(0)清除
条数/页： 排序方式：
|
| 高温固体氧化物电解池模拟分析 学位论文
中国科学院大学(中国科学院上海应用物理研究所): 中国科学院大学(中国科学院上海应用物理研究所), 2018
作者: 侯权
  收藏 | 浏览/下载：144/0 | 提交时间：2019/12/24
|
| Java编译器的可信验证方法研究 学位论文
2017
作者: 沈云飞
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| UML状态图到B形式化规范的转换实现 期刊论文
2017, 卷号: 0, 期号: 1, 页码: 6-10
作者: 滕飞; 杨静
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/02
|
| 线性时序逻辑转换Büchi自动机的按需即时算法 期刊论文
2016, 2016
单来祥; 覃征; 卢欣晔; 卢正才; SHAN Laixiang; QIN Zheng; LU Xinye; LU Zhengcai
收藏 | 浏览/下载：2/0 |
| CP-PMTT:一个基于控制流模式的过程模型转换工具 期刊论文
计算机集成制造系统, 2015, 卷号: 21, 页码: 304-315
作者: 邵真禄; 张莉; 凌济民
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
| 哈萨克文编码字符转换规则的研究和实现 学位论文
硕士, 北京: 中国科学院大学, 2014
作者: 刘金龙
收藏 | 浏览/下载：20/0 | 提交时间：2014/08/05
|
| 哈萨克文编码字符转换的研究和实现 学位论文
中国科学院新疆理化技术研究所: 中国科学院大学, 2014
作者: 刘金龙
收藏 | 浏览/下载：10/0 | 提交时间：2014/08/05
|
| 线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
收藏 | 浏览/下载：21/0 | 提交时间：2014/12/16
|
| PDF格式转换专家 无文献类型
作者: 袁军辉
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/30
|
| MATLAB和VB在温室环境模型构建中的混合编程 期刊论文
设施园艺创新与进展——2011第二届中国·寿光国际设施园艺高层学术论坛论文集, 2011, 页码: 10
作者: 孟力力; 张义; 杨其长
收藏 | 浏览/下载：2/0 | 提交时间：2016/12/06
|
