<ruby id="26blz"></ruby>
    1. <pre id="26blz"></pre>
    2. 久久夜色精品国产网站,丁香五月网久久综合,国产特色一区二区三区视频,无码一区二区三区视频,国产成人精品无缓存在线播放,视频区 国产 图片区 小说区,精品一区二区三区日韩版,国模雨珍浓密毛大尺度150p
      首頁(yè) > SCI期刊 > 計(jì)算機(jī)科學(xué)期刊 > Acta Informatica(非官網(wǎng))

      Acta Informatica

      SCIE

      國(guó)際簡(jiǎn)稱(chēng):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
      • 研究類(lèi)文章占比:92.31%

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

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

      37%

      大類(lèi):Computer Science 小類(lèi):Information Systems Q3 250 / 394

      36%

      大類(lèi):Computer Science 小類(lèi):Software Q3 288 / 407

      29%

      名詞解釋?zhuān)?/b>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)類(lèi)型包括:文章、評(píng)論、會(huì)議論文、書(shū)籍章節(jié)和數(shù)據(jù)論文。

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

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

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

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

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

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

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

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

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

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

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

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

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(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ā)文選摘

      • 1、Preface for the special issue for ATVA 2015

        Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang

        Journal: ACTA INFORMATICA, 2018, Vol.55, 625-626, DOI:10.1007/s00236-018-0330-0

      • 2、Some kinds of primitive and non-primitive words

        Author: Cao Chunhua, Yang Shuang, Yang Di

        Journal: ACTA INFORMATICA, 2014, Vol.51, 339-346, DOI:10.1007/s00236-014-0200-3

      • 3、Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks

        Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou

        Journal: ACTA INFORMATICA, 2014, Vol.51, 51-60, DOI:10.1007/s00236-013-0192-4

      • 4、Termination of nondeterministic quantum programs

        Author: Yangjia Li, Nengkun Yu, Mingsheng Ying

        Journal: ACTA INFORMATICA, 2013, Vol.51, 1-24, DOI:10.1007/s00236-013-0185-3

      • 5、Characterizations of $$$$-comma codes and $$$$-comma intercodes

        Author: Chunhua Cao, Haiyan Liu, Di Yang

        Journal: ACTA INFORMATICA, 2015, Vol.53, 23-33, DOI:10.1007/s00236-015-0233-2

      • 6、Optimal covers in the relational database model

        Author: Xiaoning Peng, Zhijun Xiao

        Journal: ACTA INFORMATICA, 2015, Vol.53, 459-468, DOI:10.1007/s00236-015-0247-9

      • 7、Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs

        Author: Suoping Li, Yongqiang Zhou, Duo Peng, Zufang Dou, Yong Zhou

        Journal: ACTA INFORMATICA, 2015, Vol.53, 1-22, DOI:10.1007/s00236-015-0232-3

      • 8、Efficient and secure attribute-based signature for monotone predicates

        Author: Ke Gu, Weijia Jia, Guojun Wang, Sheng Wen

        Journal: ACTA INFORMATICA, 2016, Vol.54, 521-541, DOI:10.1007/s00236-016-0270-5

      免責(zé)聲明

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

      主站蜘蛛池模板: 国产蜜臀av在线一区在线| 婷婷综合缴情亚洲| 尤物国精品午夜福利视频| 亚洲国产一区二区av| 日韩中文字幕有码av| 最近高清中文在线字幕在线观看| 国产成人午夜福利院| 亚洲综合av一区二区三区| 一区二区三区精品视频免费播放| 精品国产一区二区三区av片| 最新国产精品亚洲| 免费视频爱爱太爽了| 亚洲综合精品第一页| 久久精品国产99久久六动漫| 噜噜噜噜私人影院| 欧美激情内射喷水高潮| 丰满人妻被黑人连续中出| 九江市| 精品无码久久久久久尤物| 疯狂做受XXXX高潮国产| 亚洲天堂一区二区三区三州| 国产欧美丝袜在线二区| 熟妇激情一区二区三区| 清纯唯美人妻少妇第一页| 久久精品国产91精品亚洲| 国产蜜臀在线一区二区三区| 日韩av熟女人妻一区二| 亚洲精品一区二区制服| 人妻夜夜爽天天爽三区丁香花| 三上悠亚精品一区二区久久| 亚洲国产欧美在线人成| 少妇粗大进出白浆嘿嘿视频 | 高潮喷水抽搐无码免费| 亚洲av无码专区在线亚| 成人无码午夜在线观看| 天天躁夜夜躁av天天爽| 国产成人精品三上悠亚久久| 欧美白妞大战非洲大炮| 阳信县| 欧洲精品码一区二区三区| av深夜免费在线观看|