退出
我的积分:
中文文献批量获取
外文文献批量获取
张子丘; 郑宇军; 李海英;
武器装备论证研究中心;
北京;
100034;
中国科学院软件研究所;
100080;
工程装备系统工程研究所;
100093;
B方法; 形式化方法; 弹道计算机; 抽象机; 不变式;
机译:基于天体力学,宇宙弹道学和计算机图形学的方法,在近地轨道上的火箭和空间技术对象的破坏中产生的研究结果
机译:基于B方法的通用弹道计算机程序设计。
机译:弹道运动方法在计算机小鼠评价中的应用
机译:一种基于弹道系数的战术弹道导弹目标优化识别方法。
机译:丧失能力的计算机人模拟:伤口弹道学和相关医疗评估的自动化方法
机译:基于神经网络和遗传程序设计技术的高能强子碰撞
机译:基于拖动的方法制表弹道导弹功能的方法。
机译:基于计算机的用于处理地下矿井中的多次潜水的方法,存在的介质,基于计算机的用于基于矿井中的矿物处理井底数据的方法的方法一个基于计算机的地下信息系统。根据地下矿井中的矿物来处理数据,并基于计算机对地下矿井中的数据进行处理的方法,仓储腿目前的计算机系统是基于计算机的,用于处理基于地下的一种形式的多次潜水。计算机根据地下矿井中的矿物质来处理数据u00e7o地下,以及基于计算机的数据处理方法
机译:弹道弹道分析的计算机系统和方法
机译:用于开发单语文档的基于计算机的系统和方法基于计算机的系统,用于翻译外语源中的文本输入,并且基于计算机的单,多语翻译方法涉及用于翻译语言源中的文本的计算机。一种基于计算机的语言开发方法用于文档开发单,多语言翻译和领域模型三方
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。