主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2014年第25卷第1期目录

   
浏览其它刊期:  
  

本期目录

基于余归纳的最小Kripke结构的求解
  高建华,蒋颖
  出版日期: 2014-1-30
  2014,25(1):16-26 [摘要(2435)]  [PDF 777.00 K (2659)]
  
量子Müller自动机与单体二阶量子逻辑
  韩召伟,李永明
  出版日期: 2014-1-30
  2014,25(1):27-36 [摘要(2097)]  [PDF 730.58 K (2301)]
  
在部分观测环境下的不确定动作模型学习
  饶东宁,蒋志华,姜云飞
  出版日期: 2014-1-30
  2014,25(1):51-63 [摘要(2508)]  [PDF 862.24 K (2406)]
  
基于OBDD的描述逻辑εL循环术语集推理
  古天龙,吕思菁,常亮,徐周波
  出版日期: 2014-1-30
  2014,25(1):64-77 [摘要(2522)]  [PDF 981.73 K (2406)]
  

综述文章

符号网络研究综述
  程苏琦,沈华伟,张国清,程学旗
  出版日期: 2014-1-30
  2014,25(1):1-15 [摘要(5832)]  [PDF 991.21 K (5073)]
  
语音情感识别研究进展综述
  韩文静,李海峰,阮华斌,马琳
  出版日期: 2014-1-30
  2014,25(1):37-50 [摘要(6227)]  [PDF 929.87 K (9444)]
  
互联网地址安全体系与关键技术
  徐恪,朱亮,朱敏
  出版日期: 2014-1-30
  2014,25(1):78-97 [摘要(5358)]  [PDF 1.62 M (3188)]
  
基于用户需求的内容分发点对点网络系统研究
  张玉洁,何明,孟祥武
  出版日期: 2014-1-30
  2014,25(1):98-117 [摘要(6135)]  [PDF 1.27 M (4172)]
  
互联网自动配置研究
  李福亮,杨家海,吴建平,安常青,姜宁
  出版日期: 2014-1-30
  2014,25(1):118-134 [摘要(5580)]  [PDF 1.04 M (3210)]
  
高速网络流量测量方法
  周爱平,程光,郭晓军
  出版日期: 2014-1-30
  2014,25(1):135-153 [摘要(6702)]  [PDF 1.07 M (4664)]
  
信息中心网络中的内置缓存技术研究
  张国强,李杨,林涛,唐晖
  出版日期: 2014-1-30
  2014,25(1):154-175 [摘要(5611)]  [PDF 1.82 M (4818)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利