软件学报
来源：本站原创 更新：2016/8/30 字体：
大 小
.jpg)
有界模型检测的优化
杨晋吉; 论文QQ81995535 苏开乐;骆翔宇;林瀚;肖茵茵;ETL的符号化模型检验
刘万伟;王戟;王昭飞;直觉线性μ-演算中的合成推理(英文)
KAZMI Syed Asad Raza;张文辉;用于指针逻辑的自动定理证明器(英文)
王振明;陈意云;王志芳;基于分离逻辑的程序验证技术
黄达明;曾庆凯;一种Web Service的服务质量预测方法
邵凌霜;周立;赵俊峰;谢冰;梅宏;基于时序逻辑证明编译优化程序变换的保义性
陶秋铭;赵琛;郭亮;一种基于图转换的模型重构描述语言
刘辉;麻志毅;邵维忠;基于BPEL的Web Service组合的数据流分析测试方法(英文)
董文莉;胡建华;以体系结构为中心的模型转换的语义描述框架(英文)
侯金奎;王海洋;马军;万建成;杨潇;复述技术研究
赵世奇;刘挺;李生;无监督词义消歧研究
王瑞琴;孔繁胜;一种解决大规模数据集问题的核主成分分析算法
史卫亚;郭跃飞;薛向阳;基于机器学习的自动协商决策模型
程昱;高济;古华茂;傅朝阳;一种多足步行机器人行走状态分析模型
徐凯;陈小平;一种研讨模型
熊才权;李德华;基于表情相似性的人脸表情流形
续爽;贾云得;应用于移动互联网的Peer-to-Peer关键技术
李伟;徐正全;杨铸;深度包检测中一种高效的正则表达式压缩算法
徐乾;鄂跃鹏;葛敬国;钱华林;延迟容忍移动传感器网络中基于选择复制的数据传输
朱金奇;刘明;龚海刚;陈贵海;许富龙;宋超;一种基于拓扑势的网络社区发现方法
淦文燕;赫南;李德毅;王建民;并行下载最优机制
王正;罗万明;阎保平;基于遗传算法的网络编码优化
邓亮;赵进;王新;别名解析中的别名过滤技术
赵洪华;白华利;陈鸣;魏镇韩;一种交错编码的多重门限调度算法
伊鹏;汪斌强;陈庶樵;李挥;行为驱动的基于角色的信任管理
李斓;范磊;回红;《软件学报》投稿指南
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
