網(wǎng)站首頁
醫(yī)師
藥師
護(hù)士
衛(wèi)生資格
高級職稱
住院醫(yī)師
畜牧獸醫(yī)
醫(yī)學(xué)考研
醫(yī)學(xué)論文
醫(yī)學(xué)會議
網(wǎng)校
論壇
招聘
最新更新
網(wǎng)站地圖
期刊首頁醫(yī)學(xué)論文經(jīng)濟(jì)管理高等教育計算機(jī)期刊中小學(xué)論文建筑論文體育期刊英語論文農(nóng)業(yè)論文
北京|天津|河北|山西|湖北|江蘇|安徽|山東|上海|浙江|江西|福建|湖南|寧夏|內(nèi)蒙古
河南|四川|重慶|貴州|云南|遼寧|吉林|廣東|廣西|海南|陜西|甘肅|新疆|青海|黑龍江|兵團(tuán)
您現(xiàn)在的位置： 醫(yī)學(xué)全在線 > 期刊大全 > 計算機(jī)期刊 > 雜志見刊 > 正文:軟件學(xué)報在線投稿 軟件學(xué)報發(fā)表電話
軟件學(xué)報
軟件學(xué)報

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


《軟件學(xué)報雜志》1995年12期目錄

  • 面向?qū)ο筌浖?guī)格語言的設(shè)計

    全炳哲，金淳兆

  • 一種琥珀體漢字字形的自動生成方法

    陸波，蔡士杰，顧進(jìn)

  • XYZ／SE程序的驗證

    張文輝

  • 基于STREAMS的X．25分組交換網(wǎng)訪問軟件的設(shè)計與實現(xiàn)

    楊家海，李軍，吳建平，史美林

  • HOS規(guī)格說明的功能理解及其應(yīng)用

    呂建，費(fèi)宗銘

  • 模態(tài)K_4、D_4系統(tǒng)的歸結(jié)推理

    孫吉貴，李喬，劉敘華 論文QQ81995535 

  • Z規(guī)格說明中初始狀態(tài)存在性的證明

    繆淮扣

計算機(jī)論文導(dǎo)航: 北大核心   統(tǒng)計源核心   CSCD   CSCD擴(kuò)展   國家級期刊   省級期刊   雜志見刊
關(guān)于我們 - 聯(lián)系我們 -版權(quán)申明 -誠聘英才 - 網(wǎng)站地圖 - 醫(yī)學(xué)論壇 - 醫(yī)學(xué)博客 - 網(wǎng)絡(luò)課程 - 幫助
醫(yī)學(xué)全在線 版權(quán)所有© CopyRight 2006-2046, MED126.COM, All Rights Reserved
浙ICP備12017320號
百度大聯(lián)盟認(rèn)證綠色會員可信網(wǎng)站 中網(wǎng)驗證