必发官网登入推荐国际学术刊物

(88bifa手机登入科学理论)

A类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    IANDC
    Information and Computation
    Elsevier
    http://dblp.uni-trier.de/db/journals/iandc/
  • 2
    SICOMP
    SIAM Journal on Computing
    SIAM
    http://dblp.uni-trier.de/db/journals/siamcomp/
  • 3
    TIT
    IEEE Transactions on Information Theory
    IEEE
    http://dblp.uni-trier.de/db/journals/tit/

B类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    TALG
    ACM Transactions on Algorithms
    ACM
    http://dblp.uni-trier.de/db/journals/talg/
  • 2
    TOCL
    ACM Transactions on Computational Logic
    ACM
    http://dblp.uni-trier.de/db/journals/tocl/
  • 3
    TOMS
    ACM Transactions on Mathematical Software
    ACM
    http://dblp.uni-trier.de/db/journals/toms/
  • 4
    Algorithmica
    Algorithmica
    Springer
    http://dblp.uni-trier.de/db/journals/algorithmica/
  • 5
    CC
    Computational complexity
    Springer
    http://dblp.uni-trier.de/db/journals/cc/
  • 6
    FAC
    Formal Aspects of Computing
    Springer
    http://dblp.uni-trier.de/db/journals/fac/
  • 7
    FMSD
    Formal Methods in System Design
    Springer
    http://dblp.uni-trier.de/db/journals/fmsd/
  • 8
    INFORMS
    INFORMS Journal on Computing
    INFORMS
    http://dblp.uni-trier.de/db/journals/informs/
  • 9
    JCSS
    Journal of Computer and System Sciences
    Elsevier
    http://dblp.uni-trier.de/db/journals/jcss/
  • 10
    JGO
    Journal of Global Optimization
    Springer
    http://dblp.uni-trier.de/db/journals/jgo/
  • 11
    JSC
    Journal of Symbolic Computation
    Elsevier
    http://dblp.uni-trier.de/db/journals/jsc/
  • 12
    MSCS
    Mathematical Structures in Computer Science
    Cambridge University Press
    http://dblp.uni-trier.de/db/journals/mscs/
  • 13
    TCS
    Theoretical Computer Science
    Elsevier
    http://dblp.uni-trier.de/db/journals/tcs/

C类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    APAL
    Annals of Pure and Applied Logic
    Elsevier
    http://dblp.uni-trier.de/db/journals/apal/
  • 2
    ACTA
    Acta Informatica
    Springer
    http://dblp.uni-trier.de/db/journals/acta/
  • 3
    DAM
    Discrete Applied Mathematics
    Elsevier
    http://dblp.uni-trier.de/db/journals/dam/
  • 4
    FUIN
    Fundamenta Informaticae
    IOS Press
    http://dblp.uni-trier.de/db/journals/fuin/
  • 5
    LISP
    Higher-Order and Symbolic Computation
    Springer
    http://dblp.uni-trier.de/db/journals/lisp/
  • 6
    IPL
    Information Processing Letters
    Elsevier
    http://dblp.uni-trier.de/db/journals/ipl/
  • 7
    JCOMPLEXITY
    Journal of Complexity
    Elsevier
    http://dblp.uni-trier.de/db/journals/jc/
  • 8
    LOGCOM
    Journal of Logic and Computation
    Oxford University Press
    http://dblp.uni-trier.de/db/journals/logcom/?????????????????????????????????????
  • 9
     
    Journal of Symbolic Logic
    Association for Symbolic Logic
    http://dblp.uni-trier.de/db/journals/jsyml/
  • 10
    LMCS
    Logical Methods in Computer Science
    LMCS
    http://dblp.uni-trier.de/db/journals/lmcs/
  • 11
    SIDMA
    SIAM Journal on Discrete Mathematics
    SIAM
    http://dblp.uni-trier.de/db/journals/siamdm/
  • 12
     
    Theory of Computing Systems
    Springer
    http://dblp.uni-trier.de/db/journals/mst/

必发官网登入推荐国际学术会议

(88bifa手机登入科学理论)

A类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    STOC
    ACM Symposium on Theory of Computing
    ACM
    http://dblp.uni-trier.de/db/conf/stoc/?
  • 2
    FOCS
    IEEE Symposium on Foundations of Computer Science
    IEEE
    http://dblp.uni-trier.de/db/conf/focs/
  • 3
    LICS
    IEEE Symposium on Logic in Computer Science
    IEEE
    http://dblp.uni-trier.de/db/conf/lics/
  • 4
    CAV
    Computer Aided Verification
    Springer
    http://dblp.uni-trier.de/db/conf/cav/

B类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    SoCG
    ACM Symposium on Computational Geometry
    ACM
    http://dblp.uni-trier.de/db/conf/compgeom/
  • 2
    SODA
    ACM-SIAM Symposium on Discrete Algorithms
    SIAM
    http://dblp.uni-trier.de/db/conf/soda/
  • 3
    CADE/IJCAR
    Conference on Automated Deduction/The International Joint Conference on Automated Reasoning
    Springer
    http://dblp.uni-trier.de/db/conf/cade/
  • 4
    CCC
    IEEE Conference on Computational Complexity
    IEEE
    http://dblp.uni-trier.de/db/conf/coco/
  • 5
    ICALP
    International Colloquium on Automata, Languages and Programming
    Springer
    http://dblp.uni-trier.de/db/conf/icalp/
  • 6
    CONCUR
    International Conference on Concurrency Theory
    Springer
    http://dblp.uni-trier.de/db/conf/concur/
  • 7
    HSCC
    International Conference on Hybrid Systems: Computation and Control
    Springer and ACM
    http://dblp.uni-trier.de/db/conf/hybrid/
  • 8
    ESA
    European Symposium on Algorithms
    Springer
    http://dblp.uni-trier.de/db/conf/esa/

C类

  • 序号
    刊物名称
    刊物全称
    出版社
    地址
  • 1
    CSL
    Computer Science Logic
    Springer
    http://dblp.uni-trier.de/db/conf/csl/
  • 2
    FSTTCS
    Foundations of Software Technology and Theoretical Computer Science
    Indian Association for Research in Computing Science
    http://dblp.uni-trier.de/db/conf/fsttcs/
  • 3
    IPCO
    International Conference on Integer Programming and Combinatorial Optimization
    Springer
    http://dblp.uni-trier.de/db/conf/ipco/
  • 4
    RTA
    International Conference on Integer Programming and Combinatorial Optimization Applications
    Springer
    http://dblp.uni-trier.de/db/conf/rta/
  • 5
    ISAAC
    International Symposium on Algorithms and Computation
    Springer
    http://dblp.uni-trier.de/db/conf/isaac/
  • 6
    MFCS
    Mathematical Foundations of Computer Science
    Springer
    http://dblp.uni-trier.de/db/conf/mfcs/
  • 7
    STACS
    Symposium on Theoretical Aspects of Computer Science
    Springer
    http://dblp.uni-trier.de/db/conf/stacs/
  • 8
    FMCAD
    Formal Method in Computer-Aided Design
    ACM
    http://dblp.uni-trier.de/db/conf/fmcad/
  • 9
    SAT
    Theory and Applications of Satisfiability Testing
    Springer
    http://dblp.uni-trier.de/db/conf/sat/
  • 10
    ICTAC
    International Colloquium on Theoretical Aspects of Computing
    Springer
    http://dblp.uni-trier.de/db/conf/ictac/
XML 地图 | Sitemap 地图