FORMAL ASPECTS OF COMPUTING
- 刊名
- FORMAL ASPECTS OF COMPUTING
- ISSN
- 0934-5043
- EISSN
- 1433-299X
- 出版机构
- ASSOC COMPUTING MACHINERY
- 语种
- English
- 数据库
-
Web of Science (SCIE)
大类学科
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Computer Science | 计算机科学 | 4 区 | — |
小类学科
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| COMPUTER SCIENCE, SOFTWARE ENGINEERING | 计算机：软件工程 | 4 区 |