FORMAL ASPECTS OF COMPUTING
期刊ISSN: 0934-5043
E-ISSN: 1433-299X
影响因子: 登录后查看数据
自引率: 15.3%
SCI期刊JCR分区
SCI期刊JCR分区等级:4区
按学科分区
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Q4
最新中科院SCI期刊分区(基础版)
大类学科
工程技术
4区
小类学科
计算机:软件工程
4区
Top期刊
综述期刊
最新中科院SCI期刊分区(升级版)
大类学科
计算机科学
4区
小类学科
计算机:软件工程
3区
Top期刊
综述期刊
期刊简介
This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
出版信息
出版商
Springer London
涉及的研究方向
工程技术-计算机:软件工程
刊期
Quarterly
年文章数
34
出版国家或地区
UNITED STATES
是否OA
Cite Score相关
Cite Score SJR SNIP 排名
2.6 0.508 1.191
学科
大类学科:Mathematics
小类学科:Theoretical Computer Science
分区
Q3
学科
大类学科:Mathematics
小类学科:Software
分区
Q3
SCI期刊投稿推荐
JCR分区相关期刊
中科院分区相关期刊
去登录