退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在实践中制定正确的程序:通过程序分析来证明功能和非功能属性
Tamalet A.N.;
机译:基于GPGPU程序非功能性质的遗传算法
机译:通过等式饱和证明函数程序的属性
机译:非功能需求框架:一种数学编程方法
机译:证明弱规律IP的功能正确性 - 以正式财产检查为例
机译:证明堆操作程序正确性的自动技术。
机译:纠正俄罗斯西北部精神病诊断实践中的偏见:比较普通教育计划和特定诊断培训计划的影响
机译:证明弱可编程Ip的功能正确性 - 一个正式财产检查的案例研究
机译:具有非功能性评估的项目管理系统,非功能性评估的项目管理方法以及非功能性评估的项目管理程序
机译:非功能性评价参数提取装置,非功能性评价参数提取方法以及非功能性评价参数提取程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。