计算机科学与探索
来源：本站原创 更新：2016/9/2 字体：
大 小
.jpg)
SMT求解技术简述
金继伟 马菲菲 张健层次化服务流程向可执行BPEL转换的方法
王朔 王忠杰 于梦 徐晓飞基于上下文无关文法的可逆变换模型
吴阳怿 吴逸鸣 熊英飞欢迎订阅2016年《计算机科学与探索》、《计算机工程与应用》杂志
基于日志的Web系统互操作测试用例扩充方法
王飞 刘超最大流信任关系发现方法
李建军 张汝波 杨玉 苏泯元基于博弈论的车联网双重激励数据转发机制
杨树雪 王良民基于分时的LEO卫星网络非对称路由算法
韦娟 薄振雨 刘叶 雷秀英三维音频实时生成技术及实现
涂卫平 姚雪春 张茂胜 胡瑞敏 杨乘命题逻辑中非子句α-有序线性广义归结方法
贾海瑞 徐扬 邓鹏求解函数优化问题的改进人工蜂群算法
唐凌芸 毛力 周长喜2015年全国高性能计算学术年会(HPC China 2015)征文
面向近邻搜索的马尔科夫图哈希算法
刘弘 江爱文 王明文 万剑怡基于核空间中K-近邻的不均衡数据算法
杜红乐逻辑标记转换系统下预备模拟与稳定划分
朱文涛Entropy-Beta:用于模式匹配众包方法中的发包策略
黄冬梅 许坤 张明华《计算机科学与探索》投稿须知
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
