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
Log in to your account:
Please use your IMSc email user id and password to Login
Library Hours
24x7 Access to Library and its resources is enabled using an RFID based system to the IMSc community.

The library is also open to all bonafide members of other academic and research institutions as per the following schedule:
Monday - Friday 9:30am - 7:00pm
Saturday 10:00am - 5:00pm
Sundays and Institute Holidays CLOSED
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha