Formal Aspects of Computing
宗旨和范围
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. Less
关键指标
期刊详情
Indexed in the following public directories
Web of Science 
Inspec 
SJR
- 出版商ASSOC COMPUTING MACHINERY
- 出版语言English
- 出版频率Quarterly
- 出版语言English
- 出版频率Quarterly
- 创刊年份1989
- Publisher URL
- 网址
Topics Covered on Formal Aspects of Computing
年度发行情况
- 5Y
- 10Y
常见问题
Formal Aspects of Computing 是从何时开始发行的？ 
Formal Aspects of Computing 自1989开始发行至今。
Formal Aspects of Computing 多久发行一次？
Formal Aspects of Computing 为Quarterly。
Formal Aspects of Computing 的 H 指数、SNIP 指数、Citescore 和 SJR 分别是多少？
Formal Aspects of Computing 的H指数为 43、 Citescore 为 2.6、SNIP 指数为1.19 、 SJR 为 Q2。
Formal Aspects of Computing 的出版商是谁？
Formal Aspects of Computing 的出版商是ASSOC COMPUTING MACHINERY。
我在哪里查看 Formal Aspects of Computing 的宗旨和范围？
查看 Formal Aspects of Computing 的宗旨和范围，请点击此处。
我如何在意得辑上查看Formal Aspects of Computing 的指标？
查看 Formal Aspects of Computing 的指标，请单击此处。
Formal Aspects of Computing 的 eISSN和pISSN 号分别是什么？
1433-299X 的 eISSN 为 0934-5043，pISSN 为 Formal Aspects of Computing 。
该期刊重点关注哪些主题？
本期刊关注的主题范围广泛，包括 [object Object], [object Object], [object Object], [object Object], [object Object], [object Object], [object Object], [object Object], [object Object], [object Object]。
为什么搜索适合我研究的期刊很重要？
选择与您研究领域紧密相关的期刊，有助于确保您的学术成果能够触及最合适的读者群体， 从而最大化您的学术影响力和对该领域的贡献。
对期刊的选择会影响我的学术事业吗？
当然。在知名期刊上发表论文可提升您的学术形象， 使您在获取资助、终身教职和其他职业机会方面更具竞争力。
只考虑具有高影响力的期刊是否明智？
虽然高影响力的期刊知名度高，但投稿竞争也相对激烈。因此， 关键在于权衡考虑期刊的影响因子与论文被接受的可能性。