退出
我的积分:
中文文献批量获取
外文文献批量获取
陈伟;
四川大学计算机学院 成都610065;
程序分析; 错误定位; 软件调试; 程序依赖关系;
机译:基于风险的动态不变量分类程序分析,用于逻辑错误检测
机译:在移动应用程序分析中扩展用于动态用户的活动检测的方面导向的编程
机译:扩展面向方面的编程,用于移动应用程序分析中的动态用户的活动检测
机译:静态程序分析,用于识别图形密集型移动应用程序中的能源错误
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:智能手机应用程序中的隐私问题:头痛/偏头痛应用程序分析
机译:数字控制系统的实施技术,控制和动态系统的第70卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,390 PP,ISBN 0-12-0127702,99.00美元离散时间控制系统分析和设计,控制和动态系统的第71卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,410 PP,ISBN 0-12-0127715,99.00美元离散时间控制系统实现技术,控制和动态系统的第72卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,388 pp,ISBN 0-12-0127725,99.00美元的离散 - 时间随机控制系统,控制和动态系统的VOLUME 73:前进,理论与应用,C Leondes(ED),学术出版社,圣地亚哥,1995年,380页,ISBN 0-12-0127734,在离散和$ 99.00技术。连续稳健的系统,控制和动态系统的第74卷:理论和应用的进步,C. leondes(ed),学术出版社,圣地亚哥,1995,412 pp。,ISBN 0-12-0127741,99.00美元
机译:aGaRD飞行试验技术系列。第3卷。动态系统的识别 - 飞机应用。第1部分。输出错误方法
机译:程序分析装置,错误检测装置,程序分析方法,错误检测方法,程序分析程序和错误检测程序
机译:程序分析器,错误检测器,程序分析方法,错误检测方法,程序分析程序和错误检测程序
机译:应用程序分析器,应用程序分析系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。