久久精品国产亚洲AV麻豆AⅤ1,久久国产精久久精产国

軟件學(xué)報(bào)

編輯出版：軟件學(xué)報(bào)雜志編輯部
主辦：中國科學(xué)院軟件研究所
出版周期：月刊出版地：北京市
語種：中文　　ISSN：1000-9825

相關(guān)推薦

《微型機(jī)與應(yīng)用雜志》1987年06期

《地理信息世界雜志》2000年03期

《電腦采購周刊雜志》2004年38期

《單片機(jī)與嵌入式系統(tǒng)應(yīng)用雜志》2013

《計(jì)算機(jī)系統(tǒng)應(yīng)用雜志》1996年12期

《航空計(jì)算技術(shù)雜志》2005年03期

《電腦技術(shù)》HELLO》IT雜志》1995年1

《電子與電腦雜志》1999年08期

《金融科技時(shí)代雜志》2014年11期

《中國圖象圖形學(xué)報(bào)雜志》2014年09期

《軟件學(xué)報(bào)雜志》2015年09期目錄

基于聚類和劃分的SAT分治判定
范全潤段振華
基于正交實(shí)驗(yàn)設(shè)計(jì)的人工蜂群算法
周新宇吳志健王明文
一種面向移動(dòng)應(yīng)用的探索式服務(wù)組合方法
白琳魏峻黃翔葉丹黃濤
中斷驅(qū)動(dòng)系統(tǒng)模型檢驗(yàn)?
周筱羽顧斌趙建華楊孟飛李宣東
基于概念R-MUPS的本體調(diào)試方法?
歐陽丹彤蘇靜葉育鑫崔仙姬
半擴(kuò)展規(guī)則下分解的定理證明方法
張立明歐陽丹彤趙毅
面向時(shí)序數(shù)據(jù)的矩陣分解?
黃曉宇潘嶸李磊梁冰陳康蔡文學(xué)
Extended IF邏輯的命題演算系統(tǒng)
許文艷
具有模態(tài)詞□φ=□_(1φ)∨□_(2φ)且可靠與完備的公理系統(tǒng)
鄧少波黎敏曹存根眭躍飛
排序的相互k-Skyband查詢算法
蔣濤張彬余法紅柳晴周傲英
基于Shapelet剪枝和覆蓋的時(shí)間序列分類算法
原繼東王志海韓萌
增強(qiáng)覆蓋度與非相似性的標(biāo)簽選擇多樣化方法
汪美玲周翔陶秋銘趙琛
基于鏈路預(yù)測的社會(huì)網(wǎng)絡(luò)事件檢測方法
胡文斌彭超梁歡樂杜博
網(wǎng)絡(luò)鏈路性能參數(shù)估計(jì)的層析成像方法綜述
潘勝利論文QQ81995535 張志勇費(fèi)高雷錢峰胡光岷
位置服務(wù)隱私保護(hù)研究綜述
張學(xué)軍桂小林伍忠東
TCM密鑰遷移協(xié)議設(shè)計(jì)及形式化分析
張倩穎馮登國趙世軍
基于局部需求的稀有資源主動(dòng)復(fù)制與搜索機(jī)制
梅紅巖張玉潔孟祥武
物聯(lián)網(wǎng)移動(dòng)節(jié)點(diǎn)直接匿名漫游認(rèn)證協(xié)議
周彥偉楊波
《軟件學(xué)報(bào)》投稿指南

計(jì)算機(jī)論文導(dǎo)航: 北大核心統(tǒng)計(jì)源核心 CSCD CSCD擴(kuò)展國家級期刊省級期刊雜志見刊

基于聚類和劃分的SAT分治判定

基于正交實(shí)驗(yàn)設(shè)計(jì)的人工蜂群算法

一種面向移動(dòng)應(yīng)用的探索式服務(wù)組合方法

中斷驅(qū)動(dòng)系統(tǒng)模型檢驗(yàn)?

基于概念R-MUPS的本體調(diào)試方法?

半擴(kuò)展規(guī)則下分解的定理證明方法

面向時(shí)序數(shù)據(jù)的矩陣分解?

Extended IF邏輯的命題演算系統(tǒng)

具有模態(tài)詞□φ=□_(1φ)∨□_(2φ)且可靠與完備的公理系統(tǒng)

排序的相互k-Skyband查詢算法

基于Shapelet剪枝和覆蓋的時(shí)間序列分類算法

增強(qiáng)覆蓋度與非相似性的標(biāo)簽選擇多樣化方法

基于鏈路預(yù)測的社會(huì)網(wǎng)絡(luò)事件檢測方法

網(wǎng)絡(luò)鏈路性能參數(shù)估計(jì)的層析成像方法綜述

位置服務(wù)隱私保護(hù)研究綜述

TCM密鑰遷移協(xié)議設(shè)計(jì)及形式化分析

基于局部需求的稀有資源主動(dòng)復(fù)制與搜索機(jī)制

物聯(lián)網(wǎng)移動(dòng)節(jié)點(diǎn)直接匿名漫游認(rèn)證協(xié)議

《軟件學(xué)報(bào)》投稿指南