退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:满足模数线性整数算法的实用方法
Alberto Griggio;
机译:满意度模量线性整数算法的实用方法
机译:可满足性模数线性整数算法中的有效插值生成
机译:可满足性的增量线性化和验证模非线性算术和超越函数
机译:增量线性化:满足需求的实用方法模非线性算法和超越函数
机译:线性整数算术逻辑中的可满足性问题的算法。
机译:布尔代谢网络的发现:基于整数线性规划的方法
机译:增量线性化:满足模量非线性算术和超越功能的实用方法
机译:基于可满足模理论方法的模糊逻辑控制器稳定性分析。
机译:用于将长整数与MODULO,整数M和R.S.A.进行多重运算的算术单元具有这种乘法器的转换器
机译:用模算术协处理器进行整数除法的方法和装置。
机译:模运算的整数除法实现整数除法的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。