退出
我的积分:
中文文献批量获取
外文文献批量获取
李帅;
郑州牧业工程高等专科学校;
会计软件; 标准数据接口; 会计;
机译:标准接口 - 邮政服务 - 开放标准接口 - 地址OCR / VCS字典代代的数据文件格式
机译:加速元数据检查以确保软件正确性和安全性
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:一种基于增量数据流分析的软件故障定位和重新验证方法。
机译:严格的神经网络仿真:在缺乏实验验证数据的情况下提高仿真结果正确性的模型验证方法
机译:Vedalogic:一种基于挖掘模型的气候数据验证方法Vedalogic:一种基于数据挖掘模型的气候数据验证方法
机译:GRO / EGRET数据分析软件:使用标准接口的定制和商业软件的集成系统
机译:交换者数据库国家数据比较的验证方法
机译:在硬件的软件上下文中的硬件的验证方法和装置,以及在软件的硬件上下文中的软件的验证方法和装置R。
机译:会计国家之间的数据替换程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。