退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在线性分数规划中的算法等效
B. Mond;
机译:非线性约束凸起最小值方案的近端束算法
机译:线性分数规划框架下的Karnik-Mendel算法再探
机译:一般多级线性/线性分数规划问题的算法
机译:大规模混合整数线性分数规划问题的快速优化算法
机译:用于线性,二次和线性约束凸规划的内部算法
机译:利用线性程序的可行性解决一类广义分数规划问题
机译:用于解决非线性分数规划问题的高效算法
机译:Dantzig线性程序自双参数算法与线性互补问题线性互补问题Lemke算法的等价性
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
机译:用于使用自动顺序对等检查进行浮点除法和/或平方根算法的分层形式硬件验证的系统,方法和计算机程序产品
机译:等价验证程序,计算机可读记录介质等价验证程序,等价验证设备和等价验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。