退出
我的积分:
中文文献批量获取
外文文献批量获取
杨博; 吉林大学符号计算与知识工程国家教育部重点实验室; 黄晶; 吉林大学符号计算与知识工程国家教育部重点实验室; 刘大有; 吉林大学符号计算与知识工程国家教育部重点实验室;
中国计算机学会;
移动Agent; 计算π演算; 环境演算; 进程代数; 动态配置; 形式化方法;
机译:多元目标追求的形式化计算理论:整合目标选择和目标追求过程
机译:RISC-V微控制器形式化方法研究
机译:形式化方法研究及在铁路安全设备中的应用
机译:基于本体的形式化移动Agent系统模型
机译:超越财产:哥伦比亚农村财产的形式化和制图国=超过房地产:哥伦比亚和制图国家的农村财产形式化
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:缺失价值上下文中粗糙正式概念的相似性计算理论与方法研究*
机译:移动agent系统协同异常处理的形式化开发
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:基于移动Agent的互联网电话服务体系结构和服务移动性控制方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。