中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
_filter
_filter
_filter
筛选

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

条数/页: 排序方式:
Form perception is a cognitive correlate of the relation between subitizing ability and math performance 期刊论文  OAI收割
COGNITIVE PROCESSING, 2024, 页码: 11
作者:  
Cui, Zhijun;  Hu, Yuwei;  Wang, Xinnan;  Li, Chen;  Liu, Zhengkui
  |  收藏  |  浏览/下载:36/0  |  提交时间:2024/04/01
Enabling In-Network Floating-Point Arithmetic for Efficient Computation Offloading 期刊论文  OAI收割
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2022, 卷号: 33, 期号: 12, 页码: 4918-4934
作者:  
Cui, Penglai;  Pan, Heng;  Li, Zhenyu;  Zhang, Penghao;  Miao, Tianhao
  |  收藏  |  浏览/下载:27/0  |  提交时间:2023/07/12
Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  
Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
  |  收藏  |  浏览/下载:23/0  |  提交时间:2019/12/13
Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
  |  收藏  |  浏览/下载:30/0  |  提交时间:2016/12/13
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页