科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
王玉柱; 傅凝; 任俊;
国防大学,信息作战与指挥训练研究部,北京,100091;
联合战役; 决心方案; 形式化表示;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:使用Z表示法形式化UML状态机图的多视图方法
机译:马塞洛·迪亚曼德(Marcelo Diamand)通过经典凯恩斯主义方法的镜头对经济理论的贡献:不平衡生产结构的形式化表示
机译:基本解决方案的方法如何准确解决心电图的反问题?
机译:分子表示和分类的新模型:基于ETS框架的形式化方法。
机译:国家免疫覆盖率世界卫生组织和联合国儿童基金会估计的形式化表示:计算逻辑方法
机译:使用流通模型模板的反潜战联合战役分析方法
机译:形式化和表示产品驱动的方法组装方法开发
机译:导航系统和其他使用导航程序的设备中的位置表示适合作为车辆,包括用户的个人想法,因此可以将当前位置的常规表示形式化为箭头,点车辆或其他任何已替换或补充的符号。用户是印象,它在其车辆的显示屏上“看到”。
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。