Search Results

Item hits: (Results 1-10 of 74)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time DescendingIssue Date AscendingIssue Date Descending
	正则表达式子类的推断算法研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-05-18 崔蕃琳   |
	一种基于组件的信息物理系统描述语言 [学位论文] 硕士, 北京: 中国科学院大学, 2017-04-01 时雨霖   |
	ROS中XML-RPC协议实现的形式化验证 [期刊论文] 小型微型计算机系统, 2015-01-01, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴   |
	一类受限正则表达式的推断算法 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-29 冯晓强   |
	一类受限正则表达式的推断算法 [期刊论文] 计算机科学, 2014-01-01, 卷号: 41, 期号: 4, 页码: 178-183 冯晓强; 郑黎晓; 陈海明
	Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation [会议论文] 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)
	XML处理语言的参数多态化 [学位论文] 博士, 北京: 中国科学院大学, 2013-05-30 许智武   |
	一种可扩展的用户界面描述语言 [期刊论文] 软件学报, 2013-01-01, 卷号: 24, 期号: 5, 页码: 1127-1142 杜一; 邓昌智; 田丰; 任磊; 戴国忠
	正规树文法的产生式相交判定 [期刊论文] 计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212 倪晓勇; 陈海明   |
	一种Web应用部署相关的Schema匹配方法 [会议论文] 2011全国软件与应用学术会议(NASAC2011), 长春, 2011 刘姗姗; 陈伟; 魏峻; 叶丹

1 2 3 4 5 6 7 8 next