退出
我的积分:
中文文献批量获取
外文文献批量获取
陈立前; 孙猛;
国防科技大学计算机学院;
北京大学数学科学学院;
形式化方法; 区块链; 软硬件系统; 深度学习; 量子计算; 数学方法; 可信性; 基础理论;
机译:前言“ ICMAT 2013,专题讨论会A:用于储能系统的先进材料-从基础到应用,2013年6月30日至7月5日,新加坡”前言
机译:形式化方法在模块化机器人技术中的应用-自治和模块化机器人分析的形式化方法
机译:应用辐射与同位素。第七届工业辐射和放射性同位素测量应用国际专题会议(IRRMA-7)。前言。
机译:“关于微分方程在科学和工程中的应用的计算问题的专题讨论会”的前言
机译:在部分可观察的环境中进行控制综合的形式化方法:在自主机器人操纵中的应用。
机译:形式化方法在解密离散遗传网络中的应用
机译:“北斗卫星导航系统数据分析与应用”专题·前言
机译:俄罗斯自动测量,控制和调节仪器专题的前言和介绍。
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:无需专题培训就可以检测非专题辩论的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。