2014年第25卷第1期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第s1期
第s2期
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
第11期
第12期
本期目录
基于余归纳的最小Kripke结构的求解
高建华,蒋颖
出版日期: 2014-1-30 (11
页
)
2014,25(1):16-26 [
摘要
(3746)
] [
PDF
(5540)
777.00 K
][
HTML(1602)
]
量子Müller自动机与单体二阶量子逻辑
韩召伟,李永明
出版日期: 2014-1-30 (10
页
)
2014,25(1):27-36 [
摘要
(3601)
] [
PDF
(5291)
730.58 K
][
HTML(1454)
]
在部分观测环境下的不确定动作模型学习
饶东宁,蒋志华,姜云飞
出版日期: 2014-1-30 (13
页
)
2014,25(1):51-63 [
摘要
(3990)
] [
PDF
(5595)
862.24 K
][
HTML(1503)
]
基于OBDD的描述逻辑
εL
循环术语集推理
古天龙,吕思菁,常亮,徐周波
出版日期: 2014-1-30 (14
页
)
2014,25(1):64-77 [
摘要
(3899)
] [
PDF
(5742)
981.73 K
][
HTML(1610)
]
综述文章
符号网络研究综述
程苏琦,沈华伟,张国清,程学旗
出版日期: 2014-1-30 (15
页
)
2014,25(1):1-15 [
摘要
(8467)
] [
PDF
(12761)
991.21 K
][
HTML(4256)
]
语音情感识别研究进展综述
韩文静,李海峰,阮华斌,马琳
出版日期: 2014-1-30 (14
页
)
2014,25(1):37-50 [
摘要
(10539)
] [
PDF
(27659)
929.87 K
][
HTML(5234)
]
互联网地址安全体系与关键技术
徐恪,朱亮,朱敏
出版日期: 2014-1-30 (20
页
)
2014,25(1):78-97 [
摘要
(7856)
] [
PDF
(9534)
1.62 M
][
HTML(3414)
]
基于用户需求的内容分发点对点网络系统研究
张玉洁,何明,孟祥武
出版日期: 2014-1-30 (20
页
)
2014,25(1):98-117 [
摘要
(8361)
] [
PDF
(10594)
1.27 M
][
HTML(3531)
]
互联网自动配置研究
李福亮,杨家海,吴建平,安常青,姜宁
出版日期: 2014-1-30 (17
页
)
2014,25(1):118-134 [
摘要
(8056)
] [
PDF
(8414)
1.04 M
][
HTML(3389)
]
高速网络流量测量方法
周爱平,程光,郭晓军
出版日期: 2014-1-30 (19
页
)
2014,25(1):135-153 [
摘要
(10691)
] [
PDF
(14305)
1.07 M
][
HTML(4388)
]
信息中心网络中的内置缓存技术研究
张国强,李杨,林涛,唐晖
出版日期: 2014-1-30 (22
页
)
2014,25(1):154-175 [
摘要
(7793)
] [
PDF
(12666)
1.82 M
][
HTML(3645)
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫
