退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:假装同步:异步分布式程序的同步验证
Klaus v. Gleissenthall; Rami Gökhan Kıcı; Alexander Bakst; Deian Stefan; Ranjit Jhala;
机译:丰富的视图同步:可分区异步分布式系统的编程范例
机译:反应堆:面向分布式应用程序的面向数据的同步/异步编程模型
机译:分布式设计协作中2D对象的同步与异步操作:对分布式团队流程的支持的含义
机译:假装同步:异步程序的同步验证
机译:使用异步分布式存储器编程模型支持高效的图形分析和科学计算
机译:药剂师对继续教育计划的同步与异步远程学习的理解
机译:DmpL:编程和验证分布式混合同步和混合关键软件。
机译:异步电路验证程序数据生成方法,异步电路验证方法和异步电路验证设备
机译:加密密钥分发生成方法,签名生成和验证方法,加密密钥分发生成设备,签名生成和验证系统,加密密钥分发生成程序以及签名生成和验证程序分别被记录为计算机可读记录介质。
机译:分布式同步处理系统,分布式同步处理方法和分布式同步处理程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。