Počítačová věda

Fortran 95/2003 Explained - Metcalf, Michael (Formerly of the Information Technology Division CERN, Geneva, Switzerland) a Reid, John (Rutherford Appleton Laboratory, Oxford) a Cohen, Malcolm (Numerical Algorithm Group, Oxford)

Electronic Text

Advances in Logic Programming Theory

Computational Neuroscience of Vision - Rolls, Edmund (, Head of the Computational Neuroscience Unit, Department of Psychology, University of Oxford) a Deco, Gustavo (, Siemens Research Laboratory, Germany)

Virtual Realism - Heim, Michael (Lecturer, Science and Technology Program, Lecturer, Science and Technology Program, California State University Extension, Long Beach)

Image to Interpretation - Terras, Melissa (Lecturer in Electronic Communication, School of Library, Archive and Information Studies, University College London)

Speculative Execution in High Performance Computer Architectures

Computers in Geology - 25 Years of Progress

Parallel Scientific Computation - Bisseling, Rob H. (, Associate Professor, Mathematics Department, Utrecht University)

Universal Turing Machine

Artificial Intelligence - Kaplan, Jerry (Fellow, The Stanford Center for Legal Informatics, Fellow, The Stanford Center for Legal Informatics, Stanford University)

Vision Research

Image Processing

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Machine Intelligence 12: Towards an Automated Logic of Human Thought

Fourth Revolution - Floridi, Luciano (Professor of Philosophy and Ethics of Information at the University of Oxford)

Knowledge Frontiers - Faulkner, Wendy (Senior Lecturer, Science Studies Unit, Senior Lecturer, Science Studies Unit, University of Edinburgh) a Senker, Jacqueline (Researcher at Science Policy Research Unit, Researcher at Science Policy Research Unit, University of Sussex)

Not Exactly - van Deemter, Kees (Reader in Computing Science, University of Aberdeen)

Intensional Logics for Programming

Formal Grammar