Matematická teorie výpočtů

Essential Turing

Art of Computer Programming, Volume 1, Fascicle 1, The - Knuth, Donald

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)

Computers in Geology - 25 Years of Progress

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

Discrete Mathematics - Biggs, Norman L. (, Professor of Mathematics, London School of Economics, University of London)

Text Mining with MATLAB® - Banchs, Rafael E.

Applied Mathematics for Database Professionals - deHaan, Lex a Koppelaars, Toon

Discrepancy Method - Chazelle, Bernard (Princeton University, New Jersey)

Logic in Computer Science - Huth, Michael (Imperial College of Science, Technology and Medicine, London) a Ryan, Mark (University of Birmingham)

Introduction to Lattices and Order - Davey, B. A. (La Trobe University, Victoria) a Priestley, H. A. (University of Oxford)

Quantum Computing - Nakahara, Mikio (Kinki University, Osaka, Japan) a Ohmi, Tetsuo

Modeling and Simulation - Bossel, Hartmut

Garbage Collection - Jones, Richard (University of Kent at Canterbury, UK) a Lins, Rafael (University Federal de Pernambuco, Brazil)

Definitive Guide to How Computers Do Math - Maxfield, Clive (TechBites Interactive) a Brown, Alvin

Art of Computer Programming, The - Knuth, Donald

Temporal Logic: Volume 2 - Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) a Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) a Reynolds, M. (, Dept of Ciencia da C

Combinatorial Optimization - Cook, William J. a Cunningham, William H. a Pulleyblank, William R. a Schrijver, Alexander