您的位置：首页 > 理论基础

中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论

2017-05-26 10:05 447 查看

计算机科学理论

中国计算机学会推荐国际学术期刊

（计算机科学理论）

一、A类

[align=center]序号[/align]	[align=center]刊物简称[/align]	[align=center]刊物全称[/align]	[align=center]出版社[/align]	[align=center]网址[/align]
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类

[align=center]序号[/align]	[align=center]刊物简称[/align]	[align=center]刊物全称[/align]	[align=center]出版社[/align]	[align=center]网址[/align]
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类

[align=center]序号[/align]	[align=center]刊物简称[/align]	[align=center]刊物全称[/align]	[align=center]出版社[/align]	[align=center]网址[/align]
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类

[align=center]序号[/align]	[align=center]会议简称[/align]	[align=center]会议全称[/align]	[align=center]出版社[/align]	[align=center]网址[/align]
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类

[align=center]序号[/align]	[align=center]会议简称[/align]	[align=center]会议全称[/align]	[align=center]出版社[/align]	[align=center]网址[/align]
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类

[align=center]序号[/align]	[align=center]会议简称[/align]	[align=center]会议全称[/align]	[align=center] 出版社[/align]	[align=center]网址[/align]
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/

内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理

标签： CCF 推荐国际学术会议期刊目录计算机科学

相关文章推荐

新的分享

章节导航

添加评论
分享网址
分享文章
返回顶部