登录/注册
安卓版下载
logo
  • 时政综合
  • 商业财经
  • 文学小说
  • 摄影数码
  • 学生必读
  • 家庭养生
  • 旅游美食
  • 人文科普
  • 文摘文萃
  • 艺术收藏
  • 农业乡村
  • 文化综合
  • 职场理财
  • 娱乐时尚
  • 学术
  • 军事
  • 汽车
  • 环时

2019年7期

刊物介绍

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

软件学报

上一期 下一期 浏览往期
软件形式化验证专题
  • 软件形式化验证专题前言*
  • 基于SVM的多项式循环程序秩函数生成*
  • 非交互式Petri网可覆盖性验证的高效实现*
  • 基于实时自动机的连续时段演算的验证*
  • 面向实时数据的CPS一体化建模方法 *
  • 一种同步语言多线程代码自动生成工具*
  • 同步数据流语言可信编译器Vélus与L2C的比较*
  • 具有多传感器的CPS系统的攻击检测*
  • 有关时间自动机重置的若干问题的计算复杂性*
模式识别与人工智能
  • 汉语篇章理解研究综述*
  • 受限玻尔兹曼机研究综述*
  • 基于对抗式神经网络的多维度情绪回归*
系统软件与软件技术
  • 软件开发活动数据集的层次化、多版本化方法*
  • 基于Jalangi的广告代码调用路径追踪*
数据库技术
  • 知识图谱数据管理研究综述*
  • 一种基于最大公共子图的社交网络对齐方法*
计算机图形学与计算机辅助设计
  • 人类面部属性估计研究:综述*
  • 采用改进Levenberg-Marquardt法的快速弹性运动估计*

关于参考网