中国计算机学会推荐国际学术刊物
(计算机科学理论)
A类
-
序号刊物名称刊物全称出版社地址
-
1IANDCInformation and ComputationElsevier
-
2SICOMPSIAM Journal on ComputingSIAM
-
3TITIEEE Transactions on Information TheoryIEEE
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类
-
序号刊物名称刊物全称出版社地址
-
1APALAnnals of Pure and Applied LogicElsevier
-
2ACTAActa InformaticaSpringer
-
3DAMDiscrete Applied MathematicsElsevier
-
4FUINFundamenta InformaticaeIOS Press
-
5LISPHigher-Order and Symbolic ComputationSpringer
-
6IPLInformation Processing LettersElsevier
-
7JCOMPLEXITYJournal of ComplexityElsevier
-
8LOGCOMJournal of Logic and ComputationOxford University Press
-
9Journal 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
-
2FOCSIEEE Symposium on Foundations of Computer ScienceIEEE
-
3LICSIEEE Symposium on Logic in Computer ScienceIEEE
-
4CAVComputer Aided VerificationSpringer
B类
-
序号刊物名称刊物全称出版社地址
-
1SoCGACM Symposium on Computational GeometryACM
-
2SODAACM-SIAM Symposium on Discrete AlgorithmsSIAM
-
3CADE/IJCARConference on Automated Deduction/The International Joint Conference on Automated ReasoningSpringer
-
4CCCIEEE Conference on Computational ComplexityIEEE
-
5ICALPInternational Colloquium on Automata, Languages and ProgrammingSpringer
-
6CONCURInternational Conference on Concurrency TheorySpringer
-
7HSCCInternational Conference on Hybrid Systems: Computation and ControlSpringer and ACM
-
8ESAEuropean Symposium on AlgorithmsSpringer
C类
-
序号刊物名称刊物全称出版社地址
-
1CSLComputer Science LogicSpringer
-
2FSTTCSFoundations of Software Technology and Theoretical Computer ScienceIndian Association for Research in Computing Science
-
3IPCOInternational Conference on Integer Programming and Combinatorial OptimizationSpringer
-
4RTAInternational Conference on Integer Programming and Combinatorial Optimization ApplicationsSpringer
-
5ISAACInternational Symposium on Algorithms and ComputationSpringer
-
6MFCSMathematical Foundations of Computer ScienceSpringer
-
7STACSSymposium on Theoretical Aspects of Computer ScienceSpringer
-
8FMCADFormal Method in Computer-Aided DesignACM
-
9SATTheory and Applications of Satisfiability TestingSpringer
-
10ICTACInternational Colloquium on Theoretical Aspects of ComputingSpringer