在线观看av毛片亚洲_伊人久久大香线蕉成人综合网_一级片黄色视频播放_日韩免费86av网址_亚洲av理论在线电影网_一区二区国产免费高清在线观看视频_亚洲国产精品久久99人人更爽_精品少妇人妻久久免费

Acta Informatica SCIE

國(guó)際簡(jiǎn)稱：ACTA INFORM  參考譯名：信息法

主要研究方向：工程技術(shù)-計(jì)算機(jī)：信息系統(tǒng)  非預(yù)警期刊  審稿周期： 12周，或約稿

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

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

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
  • 出版語(yǔ)言：Multi-Language
  • 是否OA：未開(kāi)放
  • E-ISSN：1432-0525
  • 出版地區(qū)：GERMANY
  • 是否預(yù)警：否
  • 出版商：Springer Berlin Heidelberg
  • 出版周期：Monthly
  • 創(chuàng)刊時(shí)間：1971
  • 開(kāi)源占比：0.4432
  • Gold OA文章占比：45.00%
  • OA被引用占比：0.12
  • 出版國(guó)人文章占比：0.08
  • 出版撤稿占比：0
  • 研究類文章占比：92.31%

Acta Informatica CiteScore評(píng)價(jià)數(shù)據(jù)（2024年最新版）

CiteScore SJR SNIP CiteScore 指數(shù)
2.4 0.407 1.118
學(xué)科類別 分區(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ā)表文獻(xiàn)的平均受引用次數(shù)，是在 Scopus 中衡量期刊影響力的另一個(gè)指標(biāo)。當(dāng)年CiteScore 的計(jì)算依據(jù)是期刊最近4年（含計(jì)算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。例如，2022年的 CiteScore 計(jì)算方法為：2022年的 CiteScore =2019-2022年收到的對(duì)2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻(xiàn)數(shù)量 注：文獻(xiàn)類型包括：文章、評(píng)論、會(huì)議論文、書(shū)籍章節(jié)和數(shù)據(jù)論文。

Acta Informatica中科院評(píng)價(jià)數(shù)據(jù)

中科院 2023年12月升級(jí)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 4區(qū)

中科院 2022年12月升級(jí)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 4區(qū)

中科院 2021年12月舊的升級(jí)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 4區(qū)

中科院 2021年12月基礎(chǔ)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 工程技術(shù) 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 4區(qū)

中科院 2021年12月升級(jí)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 4區(qū)

中科院 2020年12月舊的升級(jí)版

Top期刊 綜述期刊 大類學(xué)科 小類學(xué)科
否 否 計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, INFORMATION SYSTEMS 計(jì)算機(jī)：信息系統(tǒng) 3區(qū)

Acta Informatica JCR評(píng)價(jià)數(shù)據(jù)（2023-2024年最新版）

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

5%
按JCI指標(biāo)學(xué)科分區(qū) 收錄子集 分區(qū) 排名 百分位
學(xué)科：COMPUTER SCIENCE, INFORMATION SYSTEMS SCIE Q4 237 / 251

5.78%

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

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

Acta Informatica中國(guó)學(xué)者發(fā)文選摘

Acta Informatica同類期刊

免責(zé)聲明

本站合法持有《出版物经营许可证》，仅销售经国家新闻出版署批准的合法期刊，不是任何杂志官网，不涉及出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关，若期刊信息有任何问题，请联系在线客服，我们会认真核实处理。 若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：SPRINGER, 233 SPRING ST, NEW YORK , USA, NY, 10013。

关于我们 期刊服务 参考范文 经营许可 使用须知

工信部备案：蜀ICP备18023296号-3 川公网安备：51010802001409 出版物经营许可证：新出发蓉零字第CH-B061号 统一信用码：91510108MA6CHFDC3Q © 版权所有：四川好花科技有限公司

免责声明：本站持有《出版物经营许可证》，主要从事期刊杂志零售，不是任何杂志官网，不涉及出版事务，特此申明。

学术顾问

发表咨询 投稿流程 文秘咨询 润稿咨询

固阳县| 南安市| 顺义区| 保亭| 临武县| 浮梁县| 页游| 昭苏县| 林西县| 汾阳市| 新乡县| 桐乡市| 习水县| 喀喇沁旗| 祁东县| 邢台市| 西昌市| 南康市| 安义县| 兰溪市| 高青县| 泰州市| 龙门县| 苏州市| 彭泽县| 平塘县| 宁安市| 葫芦岛市| 沁源县| 绥滨县| 普陀区| 钦州市| 黄山市| 德江县| 富源县| 扎鲁特旗| 青州市| 纳雍县| 米易县| 连平县| 南充市|