退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:流程图程序的多维排名,程序终止和复杂性界限
Alias Christophe; Darte Alain; Feautrier Paul; Gonnord Laure;
机译:基于秩函数的模糊变量有界线性规划问题的对偶方法及其在有界运输问题中的应用
机译:通过符号执行对具有位向量算法的程序的终止和复杂性分析
机译:延迟概率计划的时间有限终止分析
机译:流程图程序的多维排名,程序终止和复杂性范围
机译:研究生图书馆教育与等级游戏:基于程序变化与质量计划同等等级的学校等级分析。
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:用多维排名界定流程图程序的计算复杂度
机译:归纳逻辑程序设计复杂度的一些下界
机译:用于DFPS的内部总线系统以及具有二维或多维可编程单元体系结构的单元,用于管理具有高互连复杂性的大量数据
机译:用于DFP和具有二维或多维可编程单元体系结构的单元的内部总线系统,用于管理具有高互连复杂性的大量数据
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。