日韩人妻av一区二区三区,里菜的痛动画片完整版,国产精品99

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

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

相關(guān)推薦

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

《信息安全與技術(shù)雜志》2014年08期

《光盤技術(shù)雜志》1999年06期

《中文信息學(xué)報(bào)雜志》1990年01期

《中國科學(xué):信息科學(xué)雜志》2013年12期

《電腦知識與技術(shù)雜志》2014年01期

《鐵路計(jì)算機(jī)應(yīng)用雜志》2012年12期

《每周電腦報(bào)雜志》1998年49期

《現(xiàn)代圖書情報(bào)技術(shù)雜志》1983年04期

《電子與電腦雜志》2011年06期

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

基于邏輯電路的Petri網(wǎng)化簡方法
葉劍虹;宋文;孫世新;
支持術(shù)語公理約束的擴(kuò)展模糊描述邏輯推理
康達(dá)周;徐寶文;陸建江;李言輝;
命題線性時(shí)序邏輯的對偶模型問題的復(fù)雜性(英文)
吳志林;張文輝;
特征模型驅(qū)動的Web Services組裝方案及其工具支持
邢巖;谷放;梅宏;
基于序列模式的Servlet容器緩存替換
李洋;張文博;魏峻;鐘華;黃濤;
基于動態(tài)反饋的標(biāo)志位線性分析算法
唐鋒;武成崗;馮曉兵;張兆慶;
基于MDA的TRISO-Model模型管理方法及應(yīng)用
袁峰;李明樹;
基于擴(kuò)展?fàn)顟B(tài)任務(wù)網(wǎng)的制造供應(yīng)鏈計(jì)劃
蘇生;戰(zhàn)德臣;徐曉飛;
基于特征選擇的輕量級入侵檢測系統(tǒng)
陳友;程學(xué)旗;李洋;戴磊;
異構(gòu)無線網(wǎng)絡(luò)中垂直切換算法的評測與改進(jìn)
劉敏;李忠誠;過曉冰;張德魁;
基于在線模型評估的動態(tài)Web系統(tǒng)性能保障
張勇;黃濤;陳寧江;金蓓弘;
與位置無關(guān)的無線傳感器網(wǎng)絡(luò)連通性覆蓋協(xié)議
毛鶯池;馮國富;陳力軍;陳道蓄;
基于影響集的協(xié)作過濾推薦算法
陳健;印鑒;
面向衛(wèi)星網(wǎng)絡(luò)的TCP代理
曾斌;李之棠;徐帆江;
門戶環(huán)境中基于語義數(shù)據(jù)協(xié)作應(yīng)用集成方法
宋靖宇;魏峻;萬淑超;
基于安全操作系統(tǒng)的電子證據(jù)獲取與存儲
丁麗萍;周博文;王永吉;
基于灰色系統(tǒng)理論的信譽(yù)報(bào)告機(jī)制
徐蘭芳;胡懷飛;桑子夏;徐鳳鳴;鄒德清;
Dixon結(jié)式在密碼學(xué)中的應(yīng)用
唐樨瑾;馮勇;
一種改進(jìn)的密碼協(xié)議形式化模型
張暢;王亞弟;韓繼紅;郭淵博;
一種可并行的消息認(rèn)證碼
王大印;林東岱;吳文玲;
移動Ad Hoc網(wǎng)絡(luò)中保證覆蓋的準(zhǔn)確計(jì)時(shí)可靠鏈路方法
張治國;劉聰;張鵬;
構(gòu)造有限域上具有給定階點(diǎn)的橢圓曲線
王鯤鵬;李寶;
DHT網(wǎng)絡(luò)基于債務(wù)關(guān)系的公平文件交換
于坤;吳國新;許立波;陳剛;
大規(guī)模移動自主網(wǎng)絡(luò)中基于簇的QoS多路徑路由(英文)
盧錫城;安輝耀論文QQ81995535 ;彭宇行;彭偉;
橢圓曲線Tate對的壓縮(英文)
胡磊;
龍芯2號同時(shí)多線程處理器的軟硬件接口設(shè)計(jì)
李祖松;許先超;胡偉武;唐志敏;
基于NPV廣義超立方體最佳容錯(cuò)路由算法(英文)
田紹槐;陸應(yīng)平;張大方;
支持截止期敏感應(yīng)用的數(shù)據(jù)流任務(wù)調(diào)度方法
于戈;李曉靜;楊曉春;歐征宇;鄧慶緒;
一種靜態(tài)最少優(yōu)先級分配算法
邢建生;王永吉;劉軍祥;曾海濤;NASRO Min-Allah;
《軟件學(xué)報(bào)》投稿指南

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

基于邏輯電路的Petri網(wǎng)化簡方法

支持術(shù)語公理約束的擴(kuò)展模糊描述邏輯推理

命題線性時(shí)序邏輯的對偶模型問題的復(fù)雜性(英文)

特征模型驅(qū)動的Web Services組裝方案及其工具支持

基于序列模式的Servlet容器緩存替換

基于動態(tài)反饋的標(biāo)志位線性分析算法

基于MDA的TRISO-Model模型管理方法及應(yīng)用

基于擴(kuò)展?fàn)顟B(tài)任務(wù)網(wǎng)的制造供應(yīng)鏈計(jì)劃

基于特征選擇的輕量級入侵檢測系統(tǒng)

異構(gòu)無線網(wǎng)絡(luò)中垂直切換算法的評測與改進(jìn)

基于在線模型評估的動態(tài)Web系統(tǒng)性能保障

與位置無關(guān)的無線傳感器網(wǎng)絡(luò)連通性覆蓋協(xié)議

基于影響集的協(xié)作過濾推薦算法

面向衛(wèi)星網(wǎng)絡(luò)的TCP代理

門戶環(huán)境中基于語義數(shù)據(jù)協(xié)作應(yīng)用集成方法

基于安全操作系統(tǒng)的電子證據(jù)獲取與存儲

基于灰色系統(tǒng)理論的信譽(yù)報(bào)告機(jī)制

Dixon結(jié)式在密碼學(xué)中的應(yīng)用

一種改進(jìn)的密碼協(xié)議形式化模型

一種可并行的消息認(rèn)證碼

移動Ad Hoc網(wǎng)絡(luò)中保證覆蓋的準(zhǔn)確計(jì)時(shí)可靠鏈路方法

構(gòu)造有限域上具有給定階點(diǎn)的橢圓曲線

DHT網(wǎng)絡(luò)基于債務(wù)關(guān)系的公平文件交換

大規(guī)模移動自主網(wǎng)絡(luò)中基于簇的QoS多路徑路由(英文)

橢圓曲線Tate對的壓縮(英文)

龍芯2號同時(shí)多線程處理器的軟硬件接口設(shè)計(jì)

基于NPV廣義超立方體最佳容錯(cuò)路由算法(英文)

支持截止期敏感應(yīng)用的數(shù)據(jù)流任務(wù)調(diào)度方法

一種靜態(tài)最少優(yōu)先級分配算法

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