退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
Zhenjiang Qian; Wei Liu; Yiyang Yao;
机译:Isabelle / HOL中代数数的经过验证的实现
机译:使用Isabelle / HOL和Scala验证模型转换
机译:ISAbelle / HOR中的缺陷系统进行混合程序验证
机译:Sofie:万物互联的智能操作系统
机译:新型的基于物联网的智能城市环境事故检测与报告系统
机译:Isabelle / HOL中线性可变分离重写系统的验证地面汇合工具
机译:适用于智慧城市系统的智慧家庭能源应用的互联网系统
机译:使用物联网数据中心来管理智能城市的物联网数据的系统和方法
机译:在智能城市控制中心中提供基于智能垃圾选择的物联网优化路线的IoT方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。