自偷自拍亚洲综合精品麻豆,久久只有精品免费,国产精品不卡无毒久久久久

軟件學報

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

相關(guān)推薦

《現(xiàn)代計算機(專業(yè)版)雜志》2008年04

《軟件學報雜志》2016年03期目錄

軟件形式化方法與應用專題前言
詹乃軍王戟李宣東
幾何代數(shù)的高階邏輯形式化
馬莎施智平李黎明關(guān)永張杰 Xiaoyu SONG
有界閉連通域上的非線性循環(huán)終止性分析
李軼馮勇
城市交通網(wǎng)絡(luò)信號控制系統(tǒng)的實時演算模型
孫景昊關(guān)楠鄧慶緒張論文QQ81995535 鑫楊豐源
基于變量訪問序模式的中斷數(shù)據(jù)競爭檢測方法
陳睿楊孟飛郭向英
安全苛刻系統(tǒng)測試語言中的測試設(shè)備協(xié)同語句
呂江花高世偉馬世龍孫波李先軍
基于模擬關(guān)系的精化檢測方法
王婷陳鐵明劉楊
面向條件判定覆蓋的線性擬合制導測試生成
湯恩義周巖歐建生陳鑫
同步語言的時間可預測多線程代碼生成方法
楊志斌趙永望黃志球胡凱馬殿富 Jean-Paul BODEVEIX Mamoun FILALI
面向方面設(shè)計中干涉問題的分析工具
陳鑫黃超張一帆梅一鳴
運用柵欄函數(shù)驗證連續(xù)系統(tǒng)的有界時間安全性
甘庭夏壁燦
不確定環(huán)境下智能大廈空調(diào)系統(tǒng)調(diào)度策略評估
陳銘松顧璠徐思遠陳小紅
二維邏輯PPTL~(SL)的可滿足性檢查
陸旭段振華田聰
面向無窮數(shù)據(jù)的形式模型綜述
宋富吳志林
基于排序?qū)W習的推薦算法研究綜述
黃震華張佳雯田春岐孫圣力向陽
基于標簽路徑特征融合的在線Web新聞內(nèi)容抽取
吳共慶胡駿李莉徐喆昊劉鵬程胡學鋼吳信東
綠色網(wǎng)絡(luò)理論與技術(shù)研究
張國強許自取劉真
公鑰密碼分析簡介
肖人毅
《軟件學報》2014-2015年已出版�？�

計算機論文導航: 北大核心統(tǒng)計源核心 CSCD CSCD擴展國家級期刊省級期刊雜志見刊

軟件形式化方法與應用專題前言

幾何代數(shù)的高階邏輯形式化

有界閉連通域上的非線性循環(huán)終止性分析

城市交通網(wǎng)絡(luò)信號控制系統(tǒng)的實時演算模型

基于變量訪問序模式的中斷數(shù)據(jù)競爭檢測方法

安全苛刻系統(tǒng)測試語言中的測試設(shè)備協(xié)同語句

基于模擬關(guān)系的精化檢測方法

面向條件判定覆蓋的線性擬合制導測試生成

同步語言的時間可預測多線程代碼生成方法

面向方面設(shè)計中干涉問題的分析工具

運用柵欄函數(shù)驗證連續(xù)系統(tǒng)的有界時間安全性

不確定環(huán)境下智能大廈空調(diào)系統(tǒng)調(diào)度策略評估

二維邏輯PPTL~(SL)的可滿足性檢查

面向無窮數(shù)據(jù)的形式模型綜述

基于排序?qū)W習的推薦算法研究綜述

基于標簽路徑特征融合的在線Web新聞內(nèi)容抽取

綠色網(wǎng)絡(luò)理論與技術(shù)研究

公鑰密碼分析簡介

《軟件學報》2014-2015年已出版�？�

《軟件學報》2014-2015年已出版�？�