List of Journals Back Volumes (Theoretical Computer Science)
Title | Publisher | Subject | No. of Volumes | Year From | Year To |
ACM Computing Surveys | Association for Computing Machinery (ACM) | Computer Science | 44 | 1969 | 2012 |
ACM Inroads | Association for Computing Machinery (ACM) | Computer Science | 3 | 2010 | 2012 |
ACM Interactions | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Journal of Emerging Technologies in Computing Systems | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Journal on computing & Cultural Heritage | Association for Computing Machinery (ACM) | Computer Science | 2 | 2008 | 2012 |
ACM Journal on Data & Information Quality | Association for Computing Machinery (ACM) | Computer Science | 3 | 2008 | 2012 |
ACM Queue | Association for Computing Machinery | Computer Science | 3 | 2005 | 2007 |
ACM Transactions on Accessible Computing | Association for Computing Machinery (ACM) | Computer Science | 4 | 2008 | 2011 |
ACM Transactions on Algorithms | Association for Computing Machinery (ACM) | Computer Science | 10 | 2005 | 2012 |
ACM Transactions on Applied Perception | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Architecture and Code Optimization | Association for Computing Machinery | Computer Science | 9 | 2005 | 2012 |
ACM Transactions on Asian Language Information Processing | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Autonomous and Adaptive Systems | Association for Computing Machinery (ACM) | Computer Science | 7 | 2006 | 2012 |
ACM Transactions on Computation theory | Association for Computing Machinery (ACM) | Computer Science | 1 | 2012 | 2012 |
ACM Transactions on Computational Logic | Association for Computing Machinery (ACM) | Computer Science | 12 | 2001 | 2012 |
ACM Transactions on Computer Systems | Association for Computing Machinery (ACM) | Computer Science | 26 | 1987 | 2012 |
ACM Transactions on Computer-Human Interaction | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Database Systems | Association for Computing Machinery (ACM) | Computer Science | 11 | 1988 | 2012 |
ACM Transactions on Design Automation of Electronic Systems | Association for Computing Machinery (ACM) | Computer Science | 11 | 2005 | 2012 |
ACM Transactions on Embedded Computing Systems | Association for Computing Machinery (ACM) | Computer Science | 10 | 2005 | 2012 |
ACM Transactions on Graphics | Association for Computing Machinery (ACM) | Computer Science | 11 | 2005 | 2012 |
ACM Transactions on Information and System Security | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Information Systems | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Intelligent Systems and Technology | Association for Computing Machinery (ACM) | Computer Science | 3 | 2011 | 2012 |
ACM Transactions on Internet Technology | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Knowledge Discovery From Data | Association for Computing Machinery (ACM) | Computer Science | 6 | 2007 | 2012 |
ACM Transactions on Management Information System | Association for Computing Machinery (ACM) | Computer Science | 2 | 2011 | 2012 |
ACM Transactions on Mathematical Software | Association for Computing Machinery (ACM) | Computer Science | 9 | 1988 | 2012 |
ACM Transactions on Modeling and Computer Simulation | Association for Computing Machinery (ACM) | Computer Science | 7 | 2006 | 2012 |
ACM Transactions on Multimedia Computing, Communications and Applications | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Networking | Association for Computing Machinery (ACM) | Computer Science | 13 | 2005 | 2012 |
ACM Transactions on Programming Languages and Systems | Association for Computing Machinery (ACM) | Computer Science | 45 | 1979 | 2012 |
ACM Transactions on Reconfigurable Technology & Systems | Association for Computing Machinery (ACM) | Computer Science | 5 | 2008 | 2012 |
ACM Transactions on Sensor Networks | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Software Engineering and Methodology | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on Storage | Association for Computing Machinery (ACM) | Computer Science | 8 | 2005 | 2012 |
ACM Transactions on the Web | Association for Computing Machinery (ACM) | Computer Science | 6 | 2007 | 2012 |
Acta Informatica | Springer | Computer Science | 37 | 1980 | 2012 |
Algorithmica : An International journal in Computer Science | Springer | Computer Science | 37 | 2001 | 2013 |
Annals of Pure and Applied Logic | Elsevier | Computer Science | 96 | 1987 | 2012 |
Applied Mathematics and Computation | ACM | Computer Science | 17 | 1983 | 1991 |
Artificial Intelligence | Elsevier | Computer Science | 91 | 1985 | 2012 |
Bulletin of Symbolic Logic | Association for Symbolic Logic | Computer Science | 19 | 1995 | 2013 |
Combinatorica | Springer | Computer Science | 27 | 1981 | 2012 |
Combinatorics probability and computing | Cambridge University Press | Computer Science | 10 | 2004 | 2012 |
Communications of the ACM | Association for Computing Machinery (ACM) | Computer Science | 86 | 1958 | 2012 |
Computational complexity | Birkhauser | Computer Science | 21 | 0 | 2012 |
Computing Reviews | Association for Computing Machinery | Computer Science | 29 | 1987 | 2011 |
Discrete Applied Mathematics | Elsevier | Computer Science | 96 | 1979 | 2012 |
Discrete Mathematics | Elsevier | Computer Science | 151 | 1991 | 2012 |
Distributed Computing | Springer | Computer Science | 24 | 1986 | 2012 |
Graphs and combinatorics | Springer | Computer Science | 10 | 2004 | 2012 |
IEEE/ACM Transactions on Computational Biology and Bioinformatics | Association for Computing Machinery (ACM) | Computer Science | 6 | 2005 | 2010 |
Information and Computation | Elsevier | Computer Science | 132 | 1987 | 2013 |
Information Processing Letters | Elsevier | Computer Science | 104 | 1971 | 2012 |
International journal of computational geometry and applications | World Scientific | Computer Science | 9 | 2004 | 2012 |
International Journal of Foundations of Computer Sciences | World Scientific | Computer Science | 34 | 1990 | 2012 |
Journal of Automated Reasoning | Kluwer | Computer Science | 11 | 1987 | 1995 |
Journal of Combinatorial Designs | Wiley | Computer Science | 14 | 2001 | 2011 |
Journal of Combinatorial Theory, Series A | Elsevier | Computer Science | 3 | 2011 | 2011 |
Journal of Combinatorial Theory, Series B | Elsevier | Computer Science | 11 | 2003 | 2011 |
Journal of Computer and system Science | Elsevier | Computer Science | 74 | 1967 | 2013 |
Journal of Logic and Algebraic Programming | . | Computer Science | 20 | 2001 | 2012 |
Journal of Logic and Computation | Oxford University Press | Computer Science | 33 | 1990 | 2012 |
Journal of logic language and information | Springer | Computer Science | 9 | 2004 | 2012 |
Journal of Mathematical Logic | World Scientific | Computer Science | 6 | 2004 | 2012 |
Journal of Philosophical Logic | Springer | Computer Science | 27 | 1987 | 2012 |
Journal of Symbolic Computation | Elsevier | Computer Science | 49 | 1985 | 2012 |
Journal of Symbolic Logic | Association for Symbolic Logic | Computer Science | 71 | 1959 | 2013 |
Journal of the ACM | Association for Computing Machinery (ACM) | Computer Science | 68 | 1954 | 2012 |
Logic journal of the IGPL | Oxford University Press | Computer Science | 10 | 2005 | 2012 |
Mathematical Structures in Computer Science | Cambridge University Press | Computer Science | 26 | 1991 | 2012 |
Mobile Networks & Applications | Association for Computing Machinery | Computer Science | 7 | 2005 | 2011 |
Networker (ceased pub. last pub Dec 2009) | Association for Computing Machinery | Computer Science | 3 | 2005 | 2009 |
Networks : An International Journal | John wiley & Sons, Ltd | Computer Science | 6 | 2011 | 2013 |
Random Structures and Algorithms | Wiley | Computer Science | 24 | 2001 | 2013 |
Review of Symbolic Logic | Association for Symbolic Logic | Computer Science | 6 | 2008 | 2013 |
Science of Computer Programming | Elsevier | Computer Science | 67 | 1981 | 2012 |
SIAM Journal on Computing | SIAM | Computer Science | 67 | 1972 | 2012 |
SIAM Journal on control | . | Computer Science | 5 | 1972 | 2012 |
SIAM Journal on Discrete Mathematics | SIAM | Computer Science | 31 | 1988 | 2013 |
Studia Logica | Springer | Computer Science | 56 | 1987 | 2012 |
Theoretical Computer Science | Elsevier | Computer Science | 382 | 1975 | 2012 |
Theory of Computing Systems | Springer | Computer Science | 22 | 1997 | 2012 |
Wireless Networks | Association for Computing Machinery | Computer Science | 9 | 2005 | 2011 |