退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动化城市轨道交通综合自动化系统研究
机译:阿尔卡特的城市轨道交通自动化自动化系统
机译:解决自动化系统信息保护系统的合成问题的特点。正式化自动化系统的结构和信息保护要求的描述
机译:自动化生产系统的正式技术流程规范和验证
机译:基于 安全性和灵活性 要求 自适应 网络系统 的 自动化设计 技术 正式
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:用于制造的智能系统:多代理系统和虚拟组织(1998年8月在捷克共和国布拉格举行的BASYS'98会议记录-第三届IEEE / IFIP国际信息技术会议,用于制造业中的平衡自动化系统)。由路易斯·卡马琳娜·马托斯(Luis M. Camarinha-Matos),汉米德·阿夫萨曼内斯(Hamideh Afsarmanesh)和弗拉基米尔·马里克(Vladimir Marik)编辑。 Kluwer学术出版社,马萨诸塞州波士顿。 (1998)。 632页。 $ 210.00,NLG 475.00,GBP 143.00
机译:城市轨道交通系统等级混凝土板轨道技术经济可行性研究
机译:通过正式联系人保护最终用户的程序更改,以及自动化技术中的程序验证
机译:开发和实现模型的过程,该模型用于正式描述由多个分布式组件组成的协作系统,尤其是智能,灵活的生产和/或过程自动化系统
机译:制造自动化系统的正式安全验证方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。