期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
设备驱动程序可靠性和正确性保障方法与技术研究进展
2015年第2期
基于时间STM的软件形式化建模与验证方法
2015年第2期
基于时间抽象状态机的AADL模型验证
2015年第2期
基于形式化方法的航空电子系统检测
2015年第2期
安全攸关软件系统建模与验证专题前言
2015年第2期
3D点云形状特征的二维主流形描述
2015年第3期
云视频监控系统的能耗优化研究
2015年第3期
运行网络背景辐射的获取与分析
2015年第3期
面向用户需求的非结构化P2P资源定位泛洪策略
2015年第3期
无线传感器网络位置隐私保护技术
2015年第3期
移动机会网络路由问题研究进展
2015年第3期
地理空间约束的业务流程建模方法
2015年第3期
面向实例方面处理的工作流动态调度优化方法
2015年第3期
基于社会关系的工作流任务分派策略研究
2015年第3期
一种适用于多样性环境的业务流程挖掘方法
2015年第3期
一种并行化的启发式流程挖掘算法
2015年第3期
一种基于Token Log的符合性检查方法
2015年第3期
基于Artifact快照序列的行为一致性检测方法
2015年第3期
基于Petri网的流程间元素映射方法
2015年第3期
基于过程结构树的过程模型变体匹配技术
2015年第3期
基于触发序列集合的过程模型行为相似性算法
2015年第3期
射频识别(RFID)隐私保护技术综述
2015年第4期
大数据隐私保护密码技术研究综述
2015年第4期
宽带无线网络中的频谱资源管理综述
2015年第4期
无线网络拓扑控制中支撑图构造算法
2015年第4期
2949 条记录 2/118 页
上一页
1
2
3
4
5
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!