To view prices and purchase online, please login or create an account now.

Mathematical theory of computation

Refine Result:

Format: Country of publication: Publication date: Sort results by:
Page 4 of 5  Prev Next
Displaying: 91 - 120 of 128 items.
Ship-Shaped Offshore Installations: Design, Construction, Operation, Healthcare and Decommissioning

Ship-Shaped Offshore Installations: Design, Construction, Operation, Healthcare and Decommissioning

By Jeom Kee Paik
Hardback
Usually ships within 3-5 weeks

Theories of Programming Languages

Theories of Programming Languages

By John C. Reynolds
Hardback
Usually ships within 3-5 weeks

Bandit Algorithms

Bandit Algorithms

By Tor Lattimore , Csaba Szepesvari
Hardback
Usually ships within 3-5 weeks

Unification Grammars

Unification Grammars

By Nissim Francez , Shuly Wintner
Hardback
Usually ships within 3-5 weeks

Topological Data Analysis with Applications

Topological Data Analysis with Applications

By Gunnar Carlsson , Mikael Vejdemo-Johansson
Hardback
Usually ships within 3-5 weeks

Systemic Text Generation as Problem Solving

Systemic Text Generation as Problem Solving

By Terry Patten
Paperback / softback
Usually ships within 3-5 weeks

Think Before You Compute: A Prelude to Computational Fluid Dynamics

Think Before You Compute: A Prelude to Computational Fluid Dynamics

By E. J. Hinch
Hardback
Usually ships within 3-5 weeks

Program Logics for Certified Compilers

Program Logics for Certified Compilers

By Andrew W. Appel , Robert Dockins
Hardback
Usually ships within 3-5 weeks

Numerical Methods in Physics with Python

Numerical Methods in Physics with Python

By Alex Gezerlis
Hardback
Usually ships within 3-5 weeks

Elements of Automata Theory

Elements of Automata Theory

By Jacques Sakarovitch , Reuben Thomas
Hardback
Usually ships within 3-5 weeks

Small Summaries for Big Data

Small Summaries for Big Data

By Graham Cormode , Ke Yi
Hardback
Usually ships within 3-5 weeks

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

By Stephen Cook , Phuong Nguyen
Paperback / softback
Usually ships within 3-5 weeks

Quasi-Interpolation

Quasi-Interpolation

By Martin Buhmann , Janin Jager
Hardback
Usually ships within 3-5 weeks

The Pi-Calculus: A Theory of Mobile Processes

The Pi-Calculus: A Theory of Mobile Processes

By Davide Sangiorgi , David Walker
Paperback / softback
Usually ships within 3-5 weeks

Computation, Proof, Machine: Mathematics Enters a New Age

Computation, Proof, Machine: Mathematics Enters a New Age

By Gilles Dowek , Pierre Guillot
Hardback
Usually ships within 3-5 weeks

Theoretical Computer Science for the Working Category Theorist

Theoretical Computer Science for the Working Category Theorist

By Noson S. Yanofsky
Paperback / softback
Usually ships within 3-5 weeks

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

By Peter Aczel , Harold Simmons
Hardback
Usually ships within 3-5 weeks

Quantum Information Theory

Quantum Information Theory

By Mark M. Wilde
Hardback
Usually ships within 3-5 weeks

Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control

Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control

By Steven L. Brunton , J. Nathan Kutz
Hardback
Usually ships within 3-5 weeks

Complexity and Information

Complexity and Information

By J. F. Traub , A. G. Werschulz
Paperback / softback
Usually ships within 3-5 weeks

The B-Book: Assigning Programs to Meanings

The B-Book: Assigning Programs to Meanings

By J. R. Abrial , A. Hoare
Paperback / softback
Usually ships within 3-5 weeks

Pop-Up Geometry: The Mathematics Behind Pop-Up Cards

Pop-Up Geometry: The Mathematics Behind Pop-Up Cards

By Joseph O'Rourke
Hardback
Usually ships within 3-5 weeks

Mathematical Logic and Computation

Mathematical Logic and Computation

By Jeremy Avigad
Hardback
Usually ships within 3-5 weeks

Introduction to Computational Nanomechanics: Multiscale and Statistical Simulations

Introduction to Computational Nanomechanics: Multiscale and Statistical Simulations

By Shaofan Li , Jun Li
Hardback
Usually ships within 3-5 weeks

Programming Languages: Build, Prove, and Compare

Programming Languages: Build, Prove, and Compare

By Norman Ramsey
Hardback
Usually ships within 3-5 weeks

Programming in Parallel with CUDA: A Practical Guide

Programming in Parallel with CUDA: A Practical Guide

By Richard Ansorge
Hardback
Usually ships within 3-5 weeks

Agent-Based Models in Economics: A Toolkit

Agent-Based Models in Economics: A Toolkit

By Domenico Delli Gatti , Giorgio Fagiolo
Paperback / softback
Usually ships within 3-5 weeks

Validated Numerics: A Short Introduction to Rigorous Computations

Validated Numerics: A Short Introduction to Rigorous Computations

By Warwick Tucker
Paperback / softback
Due to release 12 September 2023. Pre-order now

An Introduction to Substructural Logics

An Introduction to Substructural Logics

By Greg Restall
Paperback
Sorry unavailable, please contact us if you require further information

Numerical Methods for Stochastic Computations: A Spectral Method Approach

Numerical Methods for Stochastic Computations: A Spectral Method Approach

By Dongbin Xiu
Hardback
Sorry unavailable, please contact us if you require further information

  Page 4 of 5  Prev Next