KMS

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

已选(0)清除 条数/页:   排序方式:
Analysis and verification of the positioning accuracy of a flat-panel detector used for precision pointing in space optical communication 期刊论文
红外与毫米波学报, 2022, 卷号: 41, 期号: 3, 页码: 631-638
作者:  Wang Xu;  Tu Cheng-Xiang;  Zhang Liang;  Wang Jian-Yu
Adobe PDF(602Kb)  |  收藏  |  浏览/下载:194/0  |  提交时间:2022/07/15
Inferring Loop Invariants for Multi-Path Loops 会议论文
PROCEEDINGS - 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2021, Shanghai, China, August 25, 2021 - August 27, 2021
作者:  Lin, Yingwen;  Zhang, Yao;  Chen, Sen;  Song, Fu;  Xie, Xiaofei
Adobe PDF(253Kb)  |  收藏  |  浏览/下载:288/0  |  提交时间:2021/12/03
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页