退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用形式化分析进行快速重新认证
Smullen Daniel;
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:多尺度正式背景的正式概念分析
机译:基于拓扑的形式概念属性的形式概念分析
机译:快速验证SystemC嵌入式组件的正式方法
机译:分析有关伊利诺伊州教师重新认证的规章制度的决策过程。
机译:儿科快速反应小组激活后实施正式汇报计划
机译:酸清洗液的快速分析装置和快速分析方法,酸清洗设施及酸清洗液的控制方法
机译:正式验证环境中交互式故障分析的有效机制
机译:正式故障传播分析的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。