退出
我的积分:
中文文献批量获取
外文文献批量获取
李劲华; 王振宇;
不详;
程序代码; 信息流; 软件周期;
机译:#使用SMT工具加速定量信息流分析方法
机译:使用#smt工具加快定量信息流分析方法
机译:基于静态分析方法的程序代码错误查找方法
机译:随机最佳控制中的信息流程和Meyer可测量过程的随机表示定理=用于迈尔可测量过程的随机最佳控制中的信息流程和表示定理
机译:临床代码和程序代码相结合提高了美国军事健康记录中克罗恩病的诊断准确性
机译:复杂工程设计项目阶段的信息流:动态网络分析方法
机译:数据库管理员之外的Dama项目中的信息流:信息流管理者
机译:程序代码分析方法,其中使用双向数据分析代码信息流并使用至少8个值的单个数据位逻辑表示的值流分析
机译:评估应用程序代码,计算机程序产品和设备中的低年级学生代码的方法(自动检测信息流低年级学生中的缺陷和不兼容问题)
机译:评估低年级学生代码应用程序代码的方法,计算机程序产品和装置(自动检测信息流低年级学生的缺陷和不兼容性问题)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。