期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
机器人关节通信总线系统的建模与验证
2018年第6期
考虑中断和上下文切换开销的响应时间分析
2018年第6期
一种嵌套中断系统的建模和分析方法
2018年第6期
基于类型理论的领域数据建模和验证及案例
2018年第6期
APTL公式的可满足性检查工具
2018年第6期
普适计算应用时空性质的运行时验证
2018年第6期
消息传递的MSVL通信机制及其实现
2018年第6期
基于SMT的时钟约束语言CCSL的形式化分析方法与工具
2018年第6期
异构多智能体系统模型检查
2018年第6期
向量加法系统验证问题研究综述
2018年第6期
自动合成数组不变式
2018年第6期
自动分析递归数据结构的归纳性质
2018年第6期
互模拟准局部验证算法的扩展与实现
2018年第6期
实时多核嵌入式系统研究综述
2018年第7期
CT投影采样策略对重建质量影响综述
2018年第7期
分布式云的研究进展综述
2018年第7期
区块链技术及其在信息安全领域的研究进展
2018年第7期
深度神经网络训练中梯度不稳定现象研究综述
2018年第7期
特征驱动的关键词提取算法综述
2018年第7期
时空数据语义理解:技术与应用
2018年第7期
高效且可验证的多授权机构属性基加密方案
2018年第7期
本地化差分隐私研究综述
2018年第7期
面向云数据的隐私度量研究进展
2018年第7期
公平理性委托计算协议
2018年第7期
对三个多服务器环境下匿名认证协议的分析
2018年第7期
2949 条记录 35/118 页
第一页
上一页
上5页
31
32
33
34
35
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!