退出
我的积分:
中文文献批量获取
外文文献批量获取
左正康; 方越; 黄箐; 廖云燕; 王渊; 王昌晶;
江西师范大学计算机信息工程学院;
江西南昌330022;
江西师范大学软件学院;
二叉树类非递归算法; 循环不变式; PAR平台; Dijkstra-Gries标准程序证明法; 非线性数据结构;
机译:在一般情况下,二叉树排序比快速排序更健壮
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:非递归算法衍生和二叉树遍历类问题的正式证明
机译:有界算术和形式化概率证明
机译:一种实用的近似算法用于求解二叉树和非二叉树的大量杂交数实例
机译:使用单排序变量名称的* -Calculus的形式化一阶汇合证明
机译:计算科学。形式化方法的证明模式。
机译:二叉树和四叉树在解码/编码视频信号中推导预测样本的方法和装置
机译:四树加二叉树结构中量化参数信号的参考量化参数推导方法
机译:二叉树数据元素排序设备和包含该设备的ATM间隔
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。