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
否
SCI期刊收录Coverage
Cite Score相关
| Cite Score | SJR | SNIP | 排名 |
|---|---|---|---|
| 2.6 | 0.508 | 1.191 |
学科
大类学科：Mathematics
小类学科：Theoretical Computer Science
分区
Q3
学科
大类学科：Mathematics
小类学科：Software
分区
Q3
|
SCI期刊投稿推荐
JCR分区相关期刊
中科院分区相关期刊
· Digital Communications and Networks
立即投稿
· High Temperature Materials and Processes
立即投稿
· IEEE Internet of Things Journal
立即投稿
· Frontiers in Oncology
立即投稿
· Telecommunications Policy
立即投稿
· IET Microwaves Antennas & Propagation
立即投稿
· Internet Technology Letters
立即投稿
· Current Analytical Chemistry
立即投稿
· IET Software
· JOURNAL OF PHOTOPOLYMER SCIENCE AND TECHNOLOGY
· ACTA OTO-LARYNGOLOGICA
· HAU-Journal of Ethnographic Theory
· Journal of Instrumentation
· DYNAMIC SYSTEMS AND APPLICATIONS
· ORIGINS OF LIFE AND EVOLUTION OF BIOSPHERES
· ALEA-Latin American Journal of Probability and Mathematical Statistics
· Breast Care
· DEVELOPMENT GENES AND EVOLUTION
推荐会议
分享
去登录