Free delivery over £25
Books
Stationery
Art & Craft
Magazines

Books on Mathematical Theory of Computation

735 Results
Cosmic Rays: Multimessenger Astrophysics and Revolutionary Astronomy (Astronomers' Universe 1st ed. 2023)

Cosmic Rays: Multimessenger Astrophysics and Revolutionary Astronomy (Astronomers' Universe 1st ed. 2023)

Alessandro De Angelis

Paperback

In Stock

Advances in Linear and Integer Programming: (Oxford Lecture Series in Mathematics and Its Applications 4)

Advances in Linear and Integer Programming: (Oxford Lecture Series in Mathematics and Its Applications 4)

J. E. Beasley

Hardback

Available / dispatched within 1 - 2 weeks

Numerical Methods and Scientific Computing: Using Software Libraries for Problem Solving

Numerical Methods and Scientific Computing: Using Software Libraries for Problem Solving

Norbert Koeckler

Hardback

Available / dispatched within 1 - 2 weeks

Discrete Variational Derivative Method: A Structure-Preserving Numerical Method for Partial Differential Equations (Chapman & Hall/CRC Numerical Analysis and Scientific Computing Series)

Discrete Variational Derivative Method: A Structure-Preserving Numerical Method for Partial Differential Equations (Chapman & Hall/CRC Numerical Analysis and Scientific Computing Series)

Daisuke Furihata

Hardback

Available / dispatched within 1 - 2 weeks

Modern Computational Methods: (Series in Computational Methods and Physical Processes in Mechanics and Thermal Sciences)

Modern Computational Methods: (Series in Computational Methods and Physical Processes in Mechanics and Thermal Sciences)

Herbert Koenig

Hardback

Available / dispatched within 1 - 2 weeks

The Optimal Implementation of Functional Programming Languages: (Cambridge Tracts in Theoretical Computer Science)

The Optimal Implementation of Functional Programming Languages: (Cambridge Tracts in Theoretical Computer Science)

Andrea Asperti

Hardback

Available / dispatched within 1 - 2 weeks

Verification and Validation in Scientific Computing

Verification and Validation in Scientific Computing

William L. Oberkampf

Hardback

Available / dispatched within 1 - 2 weeks

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science)

Robert L. Carpenter

Paperback

Available / dispatched within 1 - 2 weeks

Specification and Proof in Real Time CSP: (Distinguished Dissertations in Computer Science)

Specification and Proof in Real Time CSP: (Distinguished Dissertations in Computer Science)

Jim Davies

Paperback

Available / dispatched within 1 - 2 weeks

Constraint Handling Rules

Constraint Handling Rules

Thom Fruehwirth

Hardback

Available / dispatched within 1 - 2 weeks

Introduction to Choreographies

Introduction to Choreographies

Fabrizio Montesi

Hardback

In Stock

Complexity, Entropy And The Physics Of Information

Complexity, Entropy And The Physics Of Information

Wojciech H. Zurek

Paperback

Available / dispatched within 1 - 2 weeks

Viewed 12 of 735 Results