《软件学报杂志》2010年07期论文陕西职称评审可以用吗

软件学报

编辑出版：软件学报杂志编辑部
主办：中国科学院软件研究所
出版周期：月刊出版地：北京市
语种：中文　　ISSN：1000-9825

相关推荐

《现代计算机(专业版)杂志》2016年05

《软件学报杂志》2010年07期目录

采用了剪枝优化的子类型关系判定算法
戴晓君;陈海明;
改进的以SMT为基础的实时系统限界模型检测(英文)
徐亮;
串匹配算法中模式串与文本之间关系的研究
刘萍;刘燕兵;郭莉;方滨兴;
Multicut问题参数算法的改进
刘运龙;王建新;陈建二;
分布式缓存系统中一种优化缓存部署的图算法
李文中;陈道蓄;陆桑璐;
基于规格说明的若干逻辑覆盖测试准则
钱忠胜;缪淮扣;
基于容斥原理的Skyband基数估计方法
赵加奎;杨冬青;陈立军;
图像-文本相关性挖掘的Web图像聚类方法
吴飞;韩亚洪;庄越挺;邵健;
高速长距离网络传输协议
任勇毛;唐海娜;李俊;钱华林;
互联网无中断转发的生存性路由协议
苏金树;胡乔林;赵宝康;
网络态势感知研究
龚正虎;卓莹;
车用自组网信息广播
李丽君;刘鸿飞;杨祖元;葛利嘉;黄席樾;
终端性能自适应传输协议
王伟杭;任勇毛;唐明洁;李俊;钱华林;
无线传感器网络中的最大生命期基因路由算法
唐伟;郭伟;
第1届中国网络攻防与系统安全会议(NADSS 2010)征文通知
物论文QQ81995535 联网资源寻址模型
孔宁;李晓东;罗万明;阎保平;
移动Ad Hoc网络的跨层优化拥塞控制
徐伟强;汪亚明;俞成海;刘良桂;张云华;
无线传感器网络动态密钥管理方法
孔繁瑞;李春文;
基于熵模型的高透明性自适应视频水印算法
李智;陈孝威;
域间IP欺骗防御服务增强机制
吕高锋;孙志刚;卢锡城;
2010 CCF中国计算机大会会议通知
可证明安全的节点不相交多路径源路由协议
冯涛;郭显;马建峰;李兴华;
针对无标度网络的紧凑路由方法
唐明董;张国清;杨景;张国强;
多约束最短链路分离路径精确算法
熊轲;裘正定;郭宇春;张宏科;秦雅娟;
一类代数免疫度达到最优的布尔函数的构造
孟强;陈鲁生;符方伟;
3GPP认证与密钥协商协议安全性分析
陆峰;郑康锋;钮心忻;杨义先;李忠献;
《软件学报》投稿指南
《软件学报》形式化方法和工具专刊征文通知

计算机论文导航: 北大核心统计源核心 CSCD CSCD扩展国家级期刊省级期刊杂志见刊

采用了剪枝优化的子类型关系判定算法

改进的以SMT为基础的实时系统限界模型检测(英文)

串匹配算法中模式串与文本之间关系的研究

Multicut问题参数算法的改进

分布式缓存系统中一种优化缓存部署的图算法

基于规格说明的若干逻辑覆盖测试准则

基于容斥原理的Skyband基数估计方法

图像-文本相关性挖掘的Web图像聚类方法

高速长距离网络传输协议

互联网无中断转发的生存性路由协议

网络态势感知研究

车用自组网信息广播

终端性能自适应传输协议

无线传感器网络中的最大生命期基因路由算法

第1届中国网络攻防与系统安全会议(NADSS 2010)征文通知

物 论文QQ81995535 联网资源寻址模型

移动Ad Hoc网络的跨层优化拥塞控制

无线传感器网络动态密钥管理方法

基于熵模型的高透明性自适应视频水印算法

域间IP欺骗防御服务增强机制

2010 CCF中国计算机大会会议通知

可证明安全的节点不相交多路径源路由协议

针对无标度网络的紧凑路由方法

多约束最短链路分离路径精确算法

一类代数免疫度达到最优的布尔函数的构造

3GPP认证与密钥协商协议安全性分析

《软件学报》投稿指南

《软件学报》形式化方法和工具专刊征文通知

物论文QQ81995535 联网资源寻址模型