退出
我的积分:
中文文献批量获取
外文文献批量获取
饶红萍;
南昌航空大学现代教育技术中心;
江西;
南昌;
330063;
递归问题; 可重用程序模板; 自动推理; 软件重用;
机译:通过问题分解和重新归类处理基于知识图形的复杂问题
机译:构建和部署可重用问题解决程序的软件工程挑战
机译:从应用程序的可重用性到模型的可重用性
机译:Klee:对复杂系统程序的高覆盖测试无归类和自动生成高覆盖测试
机译:性和归类风格对成功和失败的抑郁和归类的影响。
机译:智能系统的现代体系结构:可重用的本体和解决问题的方法。
机译:严格开发可重用,特定于域的组件,用于复杂的应用程序
机译:基于程序规模和采办管理复杂性的陆军武器系统程序测试评估所需资源比较分析
机译:归类处理设备,归类处理方法,归类处理程序记录介质和归类处理系统
机译:基于程序的方法和系统使用一台或多台联网计算机的处理能力免费解决复杂的科学问题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。