99精品久久这里只有精品,三上悠亚免费一区二区在线,91精品福利一区二区,爱a久久片,无国产精品白浆免费视,中文字幕欧美一区,爽妇网国产精品,国产一级做a爱免费观看,午夜一级在线,国产精品偷伦视频免费手机播放

    <del id="eyo20"><dfn id="eyo20"></dfn></del>
  • <small id="eyo20"><abbr id="eyo20"></abbr></small>
      <strike id="eyo20"><samp id="eyo20"></samp></strike>
    • 首頁 > SCI期刊 > 計算機科學期刊 > Acta Informatica(非官網(wǎng))

      Acta Informatica SCIE

      國際簡稱:ACTA INFORM  參考譯名:信息法

      主要研究方向:工程技術-計算機:信息系統(tǒng)  非預警期刊  審稿周期: 12周,或約稿

      《信息法》(Acta Informatica)是一本由Springer Berlin Heidelberg出版的以工程技術-計算機:信息系統(tǒng)為研究特色的國際期刊,發(fā)表該領域相關的原創(chuàng)研究文章、評論文章和綜述文章,及時報道該領域相關理論、實踐和應用學科的最新發(fā)現(xiàn),旨在促進該學科領域科學信息的快速交流。該期刊是一本未開放期刊,近三年沒有被列入預警名單。

      • 4區(qū) 中科院分區(qū)
      • Q4 JCR分區(qū)
      • 13 年發(fā)文量
      • 0.4 IF影響因子
      • 未開放 是否OA
      • 34 H-index
      • 1971 創(chuàng)刊年份
      • Monthly 出版周期
      • Multi-Language 出版語言

      Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

      Topics of interest include:

      ? semantics of programming languages

      ? models and modeling languages for concurrent, distributed, reactive and mobile systems

      ? models and modeling languages for timed, hybrid and probabilistic systems

      ? specification, program analysis and verification

      ? model checking and theorem proving

      ? modal, temporal, first- and higher-order logics, and their variants

      ? constraint logic, SAT/SMT-solving techniques

      ? theoretical aspects of databases, semi-structured data and finite model theory

      ? theoretical aspects of artificial intelligence, knowledge representation, description logic

      ? automata theory, formal languages, term and graph rewriting

      ? game-based models, synthesis

      ? type theory, typed calculi

      ? algebraic, coalgebraic and categorical methods

      ? formal aspects of performance, dependability and reliability analysis

      ? foundations of information and network security

      ? parallel, distributed and randomized algorithms

      ? design and analysis of algorithms

      ? foundations of network and communication protocols.

      [ 查看全部 ]

      Acta Informatica期刊信息

      • ISSN:0001-5903
      • 出版語言:Multi-Language
      • 是否OA:未開放
      • E-ISSN:1432-0525
      • 出版地區(qū):GERMANY
      • 是否預警:
      • 出版商:Springer Berlin Heidelberg
      • 出版周期:Monthly
      • 創(chuàng)刊時間:1971
      • 開源占比:0.4432
      • Gold OA文章占比:45.00%
      • OA被引用占比:0.12
      • 出版國人文章占比:0.08
      • 出版撤稿占比:0
      • 研究類文章占比:92.31%

      Acta Informatica CiteScore評價數(shù)據(jù)(2024年最新版)

      CiteScore SJR SNIP CiteScore 指數(shù)
      2.4 0.407 1.118
      學科類別 分區(qū) 排名 百分位
      大類:Computer Science 小類:Computer Networks and Communications Q3 247 / 395

      37%

      大類:Computer Science 小類:Information Systems Q3 250 / 394

      36%

      大類:Computer Science 小類:Software Q3 288 / 407

      29%

      名詞解釋:CiteScore 是衡量期刊所發(fā)表文獻的平均受引用次數(shù),是在 Scopus 中衡量期刊影響力的另一個指標。當年CiteScore 的計算依據(jù)是期刊最近4年(含計算年度)的被引次數(shù)除以該期刊近四年發(fā)表的文獻數(shù)。例如,2022年的 CiteScore 計算方法為:2022年的 CiteScore =2019-2022年收到的對2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻數(shù)量 注:文獻類型包括:文章、評論、會議論文、書籍章節(jié)和數(shù)據(jù)論文。

      Acta Informatica中科院評價數(shù)據(jù)

      中科院 2023年12月升級版

      Top期刊 綜述期刊 大類學科 小類學科
      計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

      中科院 2022年12月升級版

      Top期刊 綜述期刊 大類學科 小類學科
      計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

      中科院 2021年12月舊的升級版

      Top期刊 綜述期刊 大類學科 小類學科
      計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

      中科院 2021年12月基礎版

      Top期刊 綜述期刊 大類學科 小類學科
      工程技術 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

      中科院 2021年12月升級版

      Top期刊 綜述期刊 大類學科 小類學科
      計算機科學 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 4區(qū)

      中科院 2020年12月舊的升級版

      Top期刊 綜述期刊 大類學科 小類學科
      計算機科學 3區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計算機:信息系統(tǒng) 3區(qū)

      Acta Informatica JCR評價數(shù)據(jù)(2023-2024年最新版)

      按JIF指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
      學科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 249

      5%

      按JCI指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
      學科:COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 251

      5.78%

      Acta Informatica歷年數(shù)據(jù)統(tǒng)計

      影響因子
      中科院分區(qū)

      Acta Informatica中國學者發(fā)文選摘

      Acta Informatica同類期刊

      免責聲明

      若用戶需要出版服務,請聯(lián)系出版商:SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。

      亚洲一区二区三区熟妇| 91制服丝袜| 国产成人精品免费视频大全| 蜜桃视频永久免费在线观看 | 熟妇人妻av中文字幕老熟妇| 国产精品主播视频| 亚洲天堂av另类在线播放| 第一九区另类中文字幕| 97久久综合区小说区图片区| 亚洲不卡中文字幕无码| 大陆啪啪福利视频| 一区二区三区av在线| 鲁丝片一区二区三区免费| 久久精品国产一区二区电影| 淫欲一区二区中文字幕| 熟女人妻在线中文字幕| 亚洲成在人线av品善网好看| 亚洲国产毛片| 国产福利一区二区三区视频在线看| 少妇又色又爽又高潮在线看| 三年片免费观看大全有| 午夜婷婷国产麻豆精品| 亚洲国产精品午夜一区| 蜜臀一区二区三区精品| 国语自产偷拍精品视频偷| 国内视频偷拍一区,二区,三区| 青青操视频手机在线免费观看| 男人扒开女人双腿猛进视频| 日韩欧美在线综合网| 粉嫩小泬无遮挡久久久久久| 国产一区二区av免费观看| 国产日产欧产精品精品| 色婷婷综合激情| 免费人成网站在线观看| 大又大又粗又硬又爽少妇毛片 | 久久综合久中文字幕青草| 久久亚洲av成人无码电影| 丰满的少妇xxxxx青青青| 日本一区免费喷水| 免费av日韩一区二区| 日韩人妻无码精品-专区|