科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
马燕; 王文发; 李宏达;
延安大学;
计算机学院;
陕西;
延安;
716000;
软件研究与开发中心;
中国科学院;
软件研究所信息安全国家重点实验室;
北京;
100080;
回溯算法; 矩阵存储; 多约束分配; 流程图; 时间复杂度;
机译:基于约束满足问题和回溯算法的儿童菜单护理应用程序设计
机译:基于回溯算法的旅行商问题求解方法在订单拣选中的应用
机译:成就分班学生团队合作学习模型在促进学生动机和成就中的应用
机译:开展分班考试,以提高学生在初级电路和系统课程中的成功率
机译:超越分班考试:改善社区学院(CC)的学生分班
机译:基于NVM设备的矩阵KV存储系统
机译:基于回溯算法的基于问题学习的多媒体益智游戏在职高学生对OSI材料的理解
机译:基于Cholesky算法的大型稀疏正定矩阵若干核心存储方案的比较研究
机译:基于计算机或电子学习系统,具有处理单元和存储内容,适合提供学习材料和相关任务和问题,也适合访问所得到的学生答案和解决方案
机译:具有通用数字回溯算法的设备,用于解决可满足性问题,以验证电路和软件的功能
机译:通用数字回溯算法,用于解决可满足性问题,以验证电路和软件的功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。