中文版 | English

在结果中检索

KMS

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
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)  |  收藏  |  浏览/下载：298/0  |  提交时间：2021/12/03
Keystone Taxa Lactiplantibacillus and Lacticaseibacillus Directly Improve the Ensiling Performance and Microflora Profile in Co-Ensiling Cabbage Byproduct and Rice Straw 期刊论文
MICROORGANISMS, 2021
作者:  Du GL(杜桂林);  Zhang, Guilong;  Shi, Jiping;  Zhang, Jingxian;  Ma, Zhiguo
Adobe PDF(2657Kb)  |  收藏  |  浏览/下载：421/5  |  提交时间：2021/06/06
Joint coflow optimization for data center networks 期刊论文
IEEE ACCESS, 2021, 卷号: 9, 页码: 108402-108410
作者:  Zhaoxi Wu
Adobe PDF(4291Kb)  |  收藏  |  浏览/下载：376/0  |  提交时间：2021/12/03
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页