生活随笔
收集整理的這篇文章主要介紹了
中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
計算機科學理論?
|
中國計算機學會推薦國際學術期刊?
（計算機科學理論） 一、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/ |
中國計算機學會推薦國際學術會議?
（計算機科學理論） 一、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
Rewriting Techniques and
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/ |
|
| 點擊下載：??計算機科學理論.pdf |
from:?http://www.ccf.org.cn/sites/ccf/biaodan.jsp?contentId=2903940690325
總結
以上是生活随笔為你收集整理的中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论的全部內容，希望文章能夠幫你解決所遇到的問題。
如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。
