退出
我的积分:
中文文献批量获取
外文文献批量获取
刘立骐; 吴启迪;
中国自动化学会;
协作系统; 问题描述; 问题分解; 问题分配; 系统设计;
机译:协作系统的问题形式化技术
机译:通过形式化图书馆系统审查服务,构建图书管理员支持和解决协作挑战的能力
机译:多主体系统中形式化的协作决策和实践推理
机译:系统系统的协作形式化建模
机译:在使用有限状态自动机(FSA)的人机协作系统中,可负担性的形式化。
机译:微波诱导原位非形式化:一种解决无定形固体分散体的稳定性问题的新策略
机译:基本地理概念的数学形式化:从时空问题到地球系统基本地理概念的数学形式化。从时空问题到地球系统
机译:协作系统和多用户界面:用于协作解决问题的基于计算机的工具。
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:用于促进协作以及关于任意问题的多用户思考或协作的系统和方法
机译:用于促进协作以及有关任意问题的相关多用户思考和协作的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。