• 

  Journal of Logical and Algebraic Methods in Programming

  《程序設計中的邏輯和代數方法》是一份國際性的期刊，旨在發(fā)表高質量的原創(chuàng)研究論文、調查和評論文章、教程演示以及歷史研究，內容涉及邏輯和代數方法和技術，以確保程序的正確性和可執(zhí)行性，以及一般的計算系統(tǒng)。所有方面都將包括，特別是理論和基礎，實施問題，以及涉及新思想的應用。雜志感興趣的主...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：0.632 熱度：104

• 

  THEORY OF COMPUTING SYSTEMS

  《計算系統(tǒng)理論》致力于發(fā)表計算機理論科學各個領域的原創(chuàng)研究成果，從計算復雜性等基礎領域，到算法和數據結構等基礎領域，到并行和分布式算法和體系結構等重點領域。主題包括以下項目的理論方面:·代數方法·算法博弈論·算法信息論·算法和數據結構·算法分析·應用圖論·難問題的近似算法·近似算法·自...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：0.603 熱度：113

• 

  Problems of Information Transmission

  信息傳輸問題是通信系統(tǒng)研究和開發(fā)的各個領域的研究人員所關心的問題。本季刊以統(tǒng)計信息論為特色;編碼理論與技術;嘈雜的渠道;誤差檢測與校正;信號檢測、提取和分析;通信網絡分析;優(yōu)化處理和路由;隨機過程理論;和仿生學。...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：0.557 熱度：68

• 

  JOURNAL OF LOGIC AND COMPUTATION

  邏輯幾乎在信息技術的所有方面都得到了應用，從軟件工程和硬件到編程和人工智能。事實上，邏輯、人工智能和理論計算相互影響，一個新的跨學科的邏輯和計算領域正在出現?！哆壿嬇c計算》雜志旨在促進邏輯與計算的發(fā)展，其中包括以下幾個領域的興趣:邏輯系統(tǒng)，如古典與非古典邏輯、建構邏輯、范疇邏輯、...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：0.509 熱度：439

• 

  FORMAL METHODS IN SYSTEM DESIGN

  系統(tǒng)設計中的正式方法報告了設計、實現和驗證硬件（VLSI）和軟件系統(tǒng)正確性的最新正式方法。讀者會發(fā)現高質量的原始論文描述了研究和發(fā)展的各個方面。該期刊的貢獻是為了開發(fā)一個重要的、非常有用的、通常適用的正式方法集合，這些方法將對未來的設計環(huán)境和設計方法產生重大影響。...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：0.787 熱度：408

• 

  DISTRIBUTED COMPUTING

  國際期刊《分布式計算》提供了一個論壇，為分布式系統(tǒng)的理論、設計、規(guī)范和實現提供了原創(chuàng)和重要的貢獻。該雜志所涵蓋的主題包括但不限于：分布式算法的設計和分析；多處理器和多核體系結構和算法；同步協(xié)議和并發(fā)編程；分布式操作系統(tǒng)和中間件；容錯性、可靠性和可用性；C的體系結構和協(xié)議。通信網絡...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：1.326 熱度：481

• 

  COMPUTING

  計算機出版原始論文，短通信和所有領域的計算調查。稿件應以英文書寫，具有理論性或應用性，其基本標準是計算相關性和結果的系統(tǒng)基礎。主題包括自主、自適應、可靠的計算并行計算服務計算和云計算綠色計算互聯網計算業(yè)務流程計算軟件開發(fā)與挖掘體系結構概念網絡科學、社會網絡、集體智能...

  所屬欄目：SCI期刊 研究方向：工程技術 學科領域：計算機：理論方法 中科院分區(qū)：4區(qū) IF分值：2.063 熱度：638

點擊查看更多