• 

  Journal of Logical and Algebraic Methods in Programming

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

  所屬欄目：SCI期刊 研究方向：工程技術(shù) 學(xué)科領(lǐng)域：計(jì)算機(jī)：理論方法 中科院分區(qū)：4區(qū) IF分值：0.632 熱度：105

• 

  THEORY OF COMPUTING SYSTEMS

  《計(jì)算系統(tǒng)理論》致力于發(fā)表計(jì)算機(jī)理論科學(xué)各個(gè)領(lǐng)域的原創(chuàng)研究成果，從計(jì)算復(fù)雜性等基礎(chǔ)領(lǐng)域，到算法和數(shù)據(jù)結(jié)構(gòu)等基礎(chǔ)領(lǐng)域，到并行和分布式算法和體系結(jié)構(gòu)等重點(diǎn)領(lǐng)域。主題包括以下項(xiàng)目的理論方面:·代數(shù)方法·算法博弈論·算法信息論·算法和數(shù)據(jù)結(jié)構(gòu)·算法分析·應(yīng)用圖論·難問(wèn)題的近似算法·近似算法·自...

  所屬欄目：SCI期刊 研究方向：工程技術(shù) 學(xué)科領(lǐng)域：計(jì)算機(jī)：理論方法 中科院分區(qū)：4區(qū) IF分值：0.603 熱度：114

• 

  Problems of Information Transmission

  信息傳輸問(wèn)題是通信系統(tǒng)研究和開發(fā)的各個(gè)領(lǐng)域的研究人員所關(guān)心的問(wèn)題。本季刊以統(tǒng)計(jì)信息論為特色;編碼理論與技術(shù);嘈雜的渠道;誤差檢測(cè)與校正;信號(hào)檢測(cè)、提取和分析;通信網(wǎng)絡(luò)分析;優(yōu)化處理和路由;隨機(jī)過(guò)程理論;和仿生學(xué)。...

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

• 

  JOURNAL OF LOGIC AND COMPUTATION

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

  所屬欄目：SCI期刊 研究方向：工程技術(shù) 學(xué)科領(lǐng)域：計(jì)算機(jī)：理論方法 中科院分區(qū)：4區(qū) IF分值：0.509 熱度：440

• 

  FORMAL METHODS IN SYSTEM DESIGN

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

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

點(diǎn)擊查看更多