我們的服務(wù)符合學(xué)術(shù)規(guī)范和道德
專業(yè) 高端讓您使用時沒有后顧之憂
THEOR COMPUT SCI是THEORETICAL COMPUTER SCIENCE期刊的縮寫。THEOR COMPUT SCI期刊的出版地是NETHERLANDS,主要的研究方向是工程技術(shù)-計算機(jī):理論方法。
理論計算機(jī)科學(xué)在精神上是數(shù)學(xué)的、抽象的,但它是從實踐和日常計算中獲得動力的。其目的是了解計算的性質(zhì),并因此提供更有效的方法。所有介紹或研究數(shù)學(xué)、邏輯和形式概念和方法的論文都是受歡迎的,前提是它們的動機(jī)明顯來自計算領(lǐng)域。有關(guān)提交和同行評審的任何疑問應(yīng)發(fā)送至TCS編輯辦公室:tcs@elsevier.com。理論計算機(jī)科學(xué)發(fā)表的論文根據(jù)其性質(zhì)分為三個部分。第一部分“算法、自動機(jī)、復(fù)雜性和游戲”主要研究使用分析、組合或概率方法的算法及其復(fù)雜性。它包括整個領(lǐng)域的抽象復(fù)雜的層次結(jié)構(gòu)(即所有的結(jié)果可以定義使用圖靈機(jī)),整個自動機(jī)和語言理論(包括自動機(jī)在無限詞匯和infinitary語言),整個幾何(圖形)應(yīng)用程序和整個測量系統(tǒng)性能使用統(tǒng)計方法。第二部分“邏輯、語義學(xué)和編程理論”專門介紹檢查程序?qū)傩曰驅(qū)崿F(xiàn)正式描述語言的形式方法;它包含了所有涉及順序和并行編程語言語義學(xué)的論文。所有處理這些問題的形式化方法都發(fā)表在本節(jié)中,包括重寫技術(shù)、抽象數(shù)據(jù)類型、自動定理證明、計算(如scp或ccs)、Petri網(wǎng)、新邏輯計算和分類方法的發(fā)展。第三部分“自然計算”專門研究自然中發(fā)生的計算和受自然啟發(fā)的計算。在計算機(jī)科學(xué)快速發(fā)展的領(lǐng)域中,自然計算作為人類設(shè)計計算與自然計算協(xié)同作用的催化劑發(fā)揮著重要作用。這種協(xié)同作用使人們對計算的本質(zhì)有了更深入、更廣泛的理解。雖然自然計算也與實驗和應(yīng)用有關(guān),但這一部分理論計算機(jī)科學(xué)的重點是自然計算的理論方面,與計算有著明顯的相關(guān)性。除此之外,它還將包含有關(guān)進(jìn)化計算、神經(jīng)網(wǎng)絡(luò)、分子計算和量子計算等理論問題的論文。
該刊的369,發(fā)行周期是Biweekly,從官網(wǎng)http://www.journals.elsevier.com/theoretical-computer-science/上查到本刊的通訊地址是ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE,投稿地址是https://www.editorialmanager.com/TCS。網(wǎng)友對該刊的審稿速度給與的評價是平均4.5個月來源Elsevier官網(wǎng):平均26.2周,錄用比一般是容易。