我們的服務(wù)符合學(xué)術(shù)規(guī)范和道德
專業(yè) 高端讓您使用時沒有后顧之憂
ACTA INFORM是ACTA INFORMATICA期刊的縮寫。ACTA INFORM期刊的出版地是GERMANY,主要的研究方向是工程技術(shù)-計算機:信息系統(tǒng)。
信息學(xué)報提供有關(guān)程序、計算系統(tǒng)和信息結(jié)構(gòu)的設(shè)計和分析的正式方法以及理論計算機科學(xué)的相關(guān)領(lǐng)域(如自動機理論、計算機科學(xué)中的邏輯和算法)的文章的國際傳播。感興趣的主題包括:?編程語言的語義?并行、分布式、反應(yīng)式和移動系統(tǒng)的模型和建模語言?時間、混合和概率系統(tǒng)的模型和建模語言?規(guī)范、程序分析和驗證?模型檢查和定理證明?模態(tài)邏輯、時態(tài)邏輯、一階和高階邏輯及其變體?約束邏輯、SAT/SMT求解技術(shù)?數(shù)據(jù)庫、半結(jié)構(gòu)化數(shù)據(jù)和有限模型理論的理論方面?人工智能、知識表示、描述邏輯的理論方面?自動控制理論、形式語言、術(shù)語和圖形重寫?基于游戲的模型,綜合?類型理論,類型計算?代數(shù)、代數(shù)和分類方法?性能、可靠性和可靠性分析的正式方面?信息和網(wǎng)絡(luò)安全基礎(chǔ)?并行、分布式和隨機算法?算法的設(shè)計和分析?網(wǎng)絡(luò)和通信協(xié)議的基礎(chǔ)
該刊的15,發(fā)行周期是Monthly,從官網(wǎng)http://link.springer.com/journal/236上查到本刊的通訊地址是SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013,投稿地址是https://submission.nature.com/new-submission/236/3。網(wǎng)友對該刊的審稿速度給與的評價是>12周,或約稿,錄用比一般是容易。