软件学报
来源：本站原创 更新：2016/8/31 字体：
大 小
.jpg)
基于聚类和划分的SAT分治判定
范全润 段振华基于正交实验设计的人工蜂群算法
周新宇 吴志健 王明文一种面向移动应用的探索式服务组合方法
白琳 魏峻 黄翔 叶丹 黄涛中断驱动系统模型检验?
周筱羽 顾斌 赵建华 杨孟飞 李宣东基于概念R-MUPS的本体调试方法?
欧阳丹彤 苏静 叶育鑫 崔仙姬半扩展规则下分解的定理证明方法
张立明 欧阳丹彤 赵毅面向时序数据的矩阵分解?
黄晓宇 潘嵘 李磊 梁冰 陈康 蔡文学Extended IF逻辑的命题演算系统
许文艳具有模态词□φ=□_(1φ)∨□_(2φ)且可靠与完备的公理系统
邓少波 黎敏 曹存根 眭跃飞排序的相互k-Skyband查询算法
蒋涛 张彬 余法红 柳晴 周傲英基于Shapelet剪枝和覆盖的时间序列分类算法
原继东 王志海 韩萌增强覆盖度与非相似性的标签选择多样化方法
汪美玲 周翔 陶秋铭 赵琛基于链路预测的社会网络事件检测方法
胡文斌 彭超 梁欢乐 杜博网络链路性能参数估计的层析成像方法综述
潘胜利 论文QQ81995535 张志勇 费高雷 钱峰 胡光岷位置服务隐私保护研究综述
张学军 桂小林 伍忠东TCM密钥迁移协议设计及形式化分析
张倩颖 冯登国 赵世军基于局部需求的稀有资源主动复制与搜索机制
梅红岩 张玉洁 孟祥武物联网移动节点直接匿名漫游认证协议
周彦伟 杨波《软件学报》投稿指南
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
