AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
郑宇军; 王金全; 薛锦云;
工程装备系统工程研究所;
北京;
100093;
中国科学院;
软件研究所;
100080;
江西师范大学计算机信息工程学院;
江西;
南昌;
330027;
SPEC#; 形式化方法; 契约; 不变式; 物流信息系统;
机译:为第三方物流服务商开发综合物流信息系统
机译:不断发展的物流支持信息系统:航空货运中心的库存管理系统,尺寸和重量测量装置的工作效率提高-货运代理人实践的先进系统化,从新光电子“ Major Boy”的使用中看到的物流改进
机译:开发运输和物流企业信息系统的主要面向对象模型
机译:使用PHS的物流定位信息系统的开发
机译:物流最终用户对使用集成的计算机辅助软件工程工具进行信息系统开发的体验和满意度。
机译:信息系统,用于监控物流中使用的设备的效率和日志的处理
机译:液体开发表和使用它的生物流体开发表
机译:使用智能自动化的物流信息系统设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。