中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页: 排序方式:
我国百强中文科技期刊XML/HTML出版现状调研与分析 期刊论文  OAI收割
中国科技期刊研究, 2019, 卷号: 30, 期号: 1, 页码: 40-45
作者:  
周小玲;  侯春梅;  黄爱华;  迟秀丽;  李慧
  |  收藏  |  浏览/下载:32/0  |  提交时间:2019/04/29
利用XML技术完善编排校一体化出版模式 CNKI期刊论文  OAI收割
2018
作者:  
谭雪静
  |  收藏  |  浏览/下载:3/0  |  提交时间:2024/12/18
正则表达式子类的推断算法研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2018
作者:  
崔蕃琳
  |  收藏  |  浏览/下载:37/0  |  提交时间:2018/06/26
利用XML技术提高期刊影响力的探索 期刊论文  OAI收割
中国科技期刊研究, 2017, 页码: 565-569
作者:  
张光;  白雨虹;  刘文武
  |  收藏  |  浏览/下载:36/0  |  提交时间:2018/04/09
一种基于组件的信息物理系统描述语言 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2017
作者:  
时雨霖
收藏  |  浏览/下载:40/0  |  提交时间:2017/07/08
基于BS架构的业务化空间环境模式集成平台 学位论文  OAI收割
硕士: 中国科学院国家空间科学中心, 2017
作者:  
朱坤帅
收藏  |  浏览/下载:36/0  |  提交时间:2017/08/29
Real-Time Data Acquisition Support for IEC 61499 based Industrial Cyber-Physical Systems 会议论文  OAI收割
Beijing, China, October 29 - November 1, 2017
作者:  
Dai WB(戴文斌);  Wang P(王鹏);  Huang, Wanqi;  Vyatkin, Valeriy
  |  收藏  |  浏览/下载:35/0  |  提交时间:2018/06/19
ROS中XML-RPC协议实现的形式化验证 期刊论文  OAI收割
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
  |  收藏  |  浏览/下载:55/0  |  提交时间:2016/12/09
一类受限正则表达式的推断算法 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2014
冯晓强
  |  收藏  |  浏览/下载:33/0  |  提交时间:2014/05/30
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation 会议论文  OAI收割
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)
  |  收藏  |  浏览/下载:21/0  |  提交时间:2014/12/16