中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论
来源:互联网 发布:java框架是什么 编辑:程序博客网 时间:2024/05/29 11:06
(计算机科学理论)
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/
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/
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/
(计算机科学理论)
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/
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/
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/
点击下载: 计算机科学理论.pdffrom: http://www.ccf.org.cn/sites/ccf/biaodan.jsp?contentId=2903940690325
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论
- 中国计算机学会CCF推荐国际学术会议和期刊目录-人工智能
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机网络
- 中国计算机学会CCF推荐国际学术会议和期刊目录
- 中国计算机学会CCF推荐国际学术会议和期刊目录-人工智能
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机网络
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机图形学与多媒体
- 中国计算机学会CCF推荐国际学术会议和期刊目录-数据库/数据挖掘/内容检索
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机体系结构/并行与分布计算/存储系统
- 中国计算机学会CCF推荐国际学术会议和期刊目录-网络与信息安全
- 中国计算机学会CCF推荐国际学术会议和期刊目录-软件工程/系统软件/程序设计语言
- 中国计算机学会CCF推荐国际学术会议和期刊目录-人机交互与普适计算
- 中国计算机学会CCF推荐国际学术会议和期刊目录-交叉/综合/新兴
- 中国计算机学会CCF推荐国际学术会议和期刊目录(PDF版,2015年)
- 中国计算机学会(CCF)——推荐国际学术会议和期刊目录
- 中国计算机学会CCF推荐国际学术会议和期刊目录-软件工程/系统软件/程序设计语言
- 中国计算机学会CCF推荐国际学术会议和期刊目录-数据库/数据挖掘/内容检索
- Android 图片缓存之内存缓存技术LruCache
- Exynos4412裸机开发 —— A/D转换器
- 中国计算机学会CCF推荐国际学术会议和期刊目录-软件工程/系统软件/程序设计语言
- Grub2引导Grub4dos菜单写法
- DFS算法初探
- 中国计算机学会CCF推荐国际学术会议和期刊目录-计算机科学理论
- PHP的工作原理以及lamp四者之间的关系
- Objective-C ,KVC研究,几种属性赋值的方法
- 反汇编一个简单的C程序
- 中国计算机学会CCF推荐国际学术会议和期刊目录-人机交互与普适计算
- 多态的应用
- 一些关于贾志鹏线性筛的知识
- 如何设计一个 iOS 控件?(iOS 控件完全解析)
- 浅析swift 中常量&变量&Optional可选项