退出
我的积分:
中文文献批量获取
外文文献批量获取
刘家红; 朱锐; 滕猛; 吴泉源;
国防科技大学;
计算机学院;
网络与信息安全研究所;
长沙;
410073;
InforSIB; 事件代数; 上下文策略; 事件消费策略; 代数性质;
机译:变异感知组件模型模式框架的事件-B形式化
机译:模拟事件顺序的形式化和严格性分析框架
机译:关于通用代数的代数性质
机译:MIZAR中提名算法代数的形式化
机译:使用离散事件系统的监督控制,对实时系统的单处理器和多处理器调度进行形式化。
机译:中医知识的形式化组织和使用的本体框架
机译:动力R-矩阵的Hecke代数性质。相关量子矩阵代数的应用
机译:基于HOOJI代数的多值非两级连接方式,基于HOOJI代数的多值非偶两级连接方式,基于HOOJI代数的多值偶两级连接方式以及基于多值的非两级连接
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。