|
CCF Transactions on High Performance Computing
|
2524-4922 |
scopus
/
ESCI
JCR Q2
中科院 4区
|
计算机:理论方法
|
|
|
Constraints
|
1383-7133 |
scie
/
scopus
JCR Q3
中科院 4区
|
计算机:理论方法
|
|
|
Connection Science
|
0954-0091 |
scie
/
scopus
JCR Q2
中科院 3区
|
计算机:理论方法
|
|
|
Swarm and Evolutionary Computation
|
2210-6502 |
scie
/
scopus
JCR Q1
中科院 1区
|
计算机:理论方法
|
|
|
Journal of Logical and Algebraic Methods in Programming
|
2352-2208 |
scie
/
scopus
JCR Q3
中科院 4区
|
计算机:理论方法
|
|
|
Journal of Logic and Computation
|
0955-792X |
scie
/
scopus
JCR Q4
中科院 3区
|
计算机:理论方法
|
|
|
Formal Methods in System Design
|
0925-9856 |
scie
/
scopus
JCR Q4
中科院 4区
|
计算机:理论方法
|
|
|
FOUNDATIONS AND TRENDS IN THEORETICAL COMPUTER SCIENCE
|
1551-305X |
scopus
/
ESCI
JCR Q4
中科院 4区
|
计算机:理论方法
|
|
|
Concurrency and Computation: Practice and Experience
|
1532-0626 |
scie
/
scopus
JCR Q3
中科院 4区
|
计算机:理论方法
|
|
|
Frontiers of Computer Science
|
2095-2228 |
scie
/
scopus
JCR Q1
中科院 2区
|
计算机:理论方法
|
|