机构

• 深圳先进技术研究院 [1]
• 计算技术研究所 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 专著 [1]

发表日期

• 2024 [1]
• 2018 [1]
• 2017 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian   |  收藏  |  浏览/下载：3/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations   Magnesium Alloy Matching Layer for PMN-PT Single Crystal Transducer Applications 期刊论文  OAI收割 IEEE TRANSACTIONS ON ULTRASONICS FERROELECTRICS AND FREQUENCY CONTROL, 2018 作者:  Dong, Jie;  Yang, Bin;  Cao, Wenwu;  Guo, Feifei;  Wang, Yulei   |  收藏  |  浏览/下载：66/0  |  提交时间：2019/01/31 火电厂燃料管理岗位培训教材 专著  OAI收割 北京:中国电力出版社, 2017 作者:  张宏亮   |  收藏  |  浏览/下载：28/0  |  提交时间：2018/12/24 火电厂  燃料管理  岗位培训