机构

• 长春光学精密机械与物... [1]
• 自动化研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 会议论文 [1]

发表日期

• 2021 [1]
• 2011 [1]
• 2003 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |   The reflector bracket mirror structure optimization and design of the IR warring system (EI CONFERENCE) 会议论文  OAI收割 2011 International Conference on Advanced Engineering Materials and Technology, AEMT 2011, July 29, 2011 - July 31, 2011, Sanya, China 作者:  Wang B.;  Wang B. 收藏  |   combining static analysis and case-based search space partitioning for reducing peak memory in model checking 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 6, 页码: 762-770 Zhang WH   |  收藏  |