中国计算机学会推荐国际学术刊物
(● 计算机科学理论)
A类
-
序号刊物名称刊物全称出版社地址
-
1TITIEEE Transactions on Information TheoryIEEE
-
2IANDCInformation and ComputationElsevier
-
3SICOMPSIAM Journal on ComputingSIAM
B类
-
序号刊物名称刊物全称出版社地址
-
1TALGACM Transactions on AlgorithmsACM
-
2TOCLACM Transactions on Computational LogicACM
-
3TOMSACM Transactions on Mathematical SoftwareACM
-
4AlgorithmicaAlgorithmicaSpringer
-
5CCComputational complexitySpringer
-
6FACFormal Aspects of ComputingSpringer
-
7FMSDFormal Methods in System DesignSpringer
-
8INFORMSINFORMS Journal on ComputingINFORMS
-
9JCSSJournal of Computer and System SciencesElsevier
-
10JGOJournal of Global OptimizationSpringer
-
11JSCJournal of Symbolic ComputationElsevier
-
12MSCSMathematical Structures in Computer ScienceCambridge University Press
-
13TCSTheoretical Computer ScienceElsevier
C类
-
序号刊物名称刊物全称出版社地址
-
1ACTAActa InformaticaSpringer
-
2APALAnnals of Pure and Applied LogicElsevier
-
3DAMDiscrete Applied MathematicsElsevier
-
4FUINFundamenta InformaticaeIOS Press
-
5LISPHigher-Order and Symbolic ComputationSpringer
-
6IPLInformation Processing LettersElsevier
-
7JCOMPLEXITYJournal of ComplexityElsevier
-
8LOGCOMJournal of Logic and ComputationOxford University Press
-
9JSLJournal of Symbolic LogicAssociation for Symbolic Logic
-
10LMCSLogical Methods in Computer ScienceLMCS
-
11SIDMASIAM Journal on Discrete MathematicsSIAM
-
12Theory of Computing SystemsSpringer
中国计算机学会推荐国际学术会议
(● 计算机科学理论)
A类
-
序号刊物名称刊物全称出版社地址
-
1STOCACM Symposium on Theory of ComputingACM
-
2SODAACM-SIAM Symposium on Discrete AlgorithmsSIAM
-
3CAVComputer Aided VerificationSpringer
-
4FOCSIEEE Annual Symposium on Foundations of Computer ScienceIEEE
-
5LICSIEEE Symposium on Logic in Computer ScienceIEEE
B类
-
序号刊物名称刊物全称出版社地址
-
1SoCGACM Symposium on Computational GeometryACM
-
2ESAEuropean Symposium on AlgorithmsSpringer
-
3CCCIEEE Conference on Computational ComplexityIEEE
-
4ICALPInternational Colloquium on Automata, Languages and ProgrammingSpringer
-
5CADE/IJCARInternational Conference on Automated Deduction/International Joint Conference on Automated ReasoningSpringer
-
6CONCURInternational Conference on Concurrency TheorySpringer
-
7HSCCInternational Conference on Hybrid Systems: Computation and ControlSpringer and ACM
-
8SATTheory and Applications of Satisfiability TestingSpringer
C类
-
序号刊物名称刊物全称出版社地址
-
1CSLComputer Science LogicSpringer
-
2FMCADFormal Method in Computer-Aided DesignACM
-
3FSTTCSFoundations of Software Technology and Theoretical Computer ScienceIndian Association for Research in Computing Science
-
4DSAAIEEE International Conference on Data Science and Advanced AnalyticsIEEE
-
5ICTACInternational Colloquium on Theoretical Aspects of ComputingSpringer
-
6IPCOInternational Conference on Integer Programming and Combinatorial OptimizationSpringer
-
7RTAInternational Conference on Rewriting Techniques and ApplicationsSpringer
-
8ISAACInternational Symposium on Algorithms and ComputationSpringer
-
9MFCSMathematical Foundations of Computer ScienceSpringer
-
10STACSSymposium on Theoretical Aspects of Computer ScienceSpringer