Computer Science: Home

Search SOLO, the University's resource discovery tool, for print and ebooks at Oxford. You can search by author, title or subject and limit to a specific library or online resources.

If you need help with SOLO, take a look at this guide for tips on searching, managing results and using your SOLO account.

Acta Numerica is the top-ranked mathematics journal as measured by both Impact Factor and by MCQ. Its annual collection of review articles includes survey papers by leading researchers in numerical analysis, scientific computing and computational mathematics. The papers present overviews of recent advances and provide state-of-the-art techniques and analysis. Covering the breadth of numerical analysis, articles are written in a style accessible to researchers at all levels and can serve as advanced teaching aids. Broad subject areas for inclusion are computational methods in linear algebra, optimization, ordinary and partial differential equations, approximation theory, stochastic analysis and nonlinear dynamical systems, as well as the application of computational techniques in science and engineering and the mathematical theory underlying numerical methods.

Computer Science Review publishes research surveys and expository overviews of open problems in computer science. All articles are aimed at a general computer science audience seeking a full and expert overview of the latest developments across computer science research.

IEEE Transactions on Pattern Analysis and Machine Intelligence publishes articles on all traditional areas of computer vision and image understanding, all traditional areas of pattern analysis and recognition, and selected areas of machine intelligence, with a particular emphasis on machine learning for pattern analysis. Areas such as techniques for visual search, document and handwriting analysis, medical image analysis, video and image sequence analysis, content-based retrieval of image and video, face and gesture recognition and relevant specialized hardware and/or software architectures are also covered.

The Journal of Information Technology (JIT) is a top-ranked journal, focused on new research addressing information, management, and communications technologies as applied to the digital worlds of business, government and non-governmental enterprises. The Journal is especially interested in studies that address emerging technologies and their convergence including SMAC (social media, mobile, analytics, cloud) and BRAID (blockchain, robotics, automation of knowledge work, internet of things and digital fabrication).

Mathematical Programming publishes original articles dealing with every aspect of mathematical optimization; that is, everything of direct or indirect use concerning the problem of optimizing a function of many variables, often subject to a set of constraints.

Nature Computational Science is a multidisciplinary journal that focuses on the development and use of computational techniques and mathematical models, as well as their application to address complex problems across a range of scientific disciplines.

Nature Machine Intelligence publishes high-quality original research and reviews in a wide range of topics in machine learning, robotics and AI.

The Radcliffe Science Library (RSL) is Oxford University's main teaching and research science library.

The Computer Science Department library collection holds post-graduate level publications on algorithms, formal verification, programming languages, security and software engineering. All its books appear in the SOLO catalogue.