退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:协同程序验证。
Moore, Brandon Michael.;
University of Illinois at Urbana-Champaign.;
机译:灵活的调控逻辑编程
机译:归纳-共归程序的良好定义和观测等价
机译:编程共归证明的案例研究:Howe的方法
机译:通过协和逻辑编程实现谓词答案集编程
机译:内存一致性和程序验证。
机译:全球村庄的疾病谣言:爆发验证。
机译:朝向谓词答案集编程通过调控逻辑编程
机译:使用前向安全加密进行密码验证的方法,系统和设备。
机译:用于安全跟踪代码生成,应用和验证的系统。
机译:提供基于区块链的多因素个人身份验证的系统和方法。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。