Win £500 in book vouchers by helping us with a 7 minute reader survey click here.

desmond elliott 2017 rebus 30th anniversary eleanor oliphant books of the month
Search our site
The Woman in the Window by A. J. Finn Read the opening extract of the brand new A. J. Finn book before its publication on 22/01/2018

Mathematical theory of computation books

See below for a selection of the latest books from Mathematical theory of computation category. Presented with a red border are the Mathematical theory of computation books that have been lovingly read and reviewed by the experts at Lovereading.

With expert reading recommendations made by people with a passion for books and some unique features Lovereading will help you find great Mathematical theory of computation books and those from many more genres to read that will keep you inspired and entertained. And it's all free!


Recently Published

Compilation for Secure Multi-party Computation by Stefan Katzenbeisser, Niklas Buscher Compilation for Secure Multi-party Computation
,
This book presents a holistic view on compiler assisted practical secure multi-party computation (MPC) over Boolean circuits. It discusses that two or more parties jointly evaluate a function over their inputs in such a way that each party keeps its...
Format: Paperback - Released: 14/11/2017

Adventures in Computer Science From Classical Bits to Quantum Bits by Vicente Moret-Bonillo Adventures in Computer Science From Classical Bits to Quantum Bits

In particular the author covers concepts related to information, classical computing, logic, reversible computing, quantum mechanics, quantum computing, thermodynamics and some artificial intelligence and biology, all approached from the viewpoint of computer sciences.
Format: Hardback - Released: 02/11/2017

Nonlinear Systems Design, Applications & Analysis by Christos K Volos Nonlinear Systems Design, Applications & Analysis


Format: Hardback - Released: 01/10/2017

Deep Learning Innovations and Their Convergence With Big Data by S. Karthik, Anand Paul, N. Karthikeyan Deep Learning Innovations and Their Convergence With Big Data
, ,
Presents the latest scholarly research on upcoming trends in data analytics and potential technologies that will facilitate insight in various domains of science, industry, business, and consumer applications. This publications features extensive coverage on a broad range of topics and...
Format: Hardback - Released: 30/09/2017

Handbook of Model Checking by Edmund M., Jr. Clarke Handbook of Model Checking
,
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used...
Format: Hardback - Released: 29/09/2017

Modern Language Models and Computation Theory with Applications by Alexander Meduna Modern Language Models and Computation Theory with Applications

This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.
Format: Hardback - Released: 02/09/2017

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings by Alexandru Baltag Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic, and Strategic Reasoning.
Format: Paperback - Released: 24/08/2017

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications by Gerard O'Regan Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing.Topics and features: introduces the key concepts in software engineering, software reliability and...
Format: Paperback - Released: 24/08/2017

Coming Soon

Advanced Computing in Industrial Mathematics 11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria. Revised Selected Papers by Krassimir Georgiev Advanced Computing in Industrial Mathematics 11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria. Revised Selected Papers

This book presents recent research on Advanced Computing in Industrial Mathematics, which is one of the most prominent interdisciplinary areas, bringing together mathematics, computer science, scientific computations, engineering, physics, chemistry, medicine, etc.
Format: Hardback - Released: 20/01/2018

Other books in this genre

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings by J. Christopher Beck Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. satisfiability & CP track, test and verification...
Format: Paperback - Released: 23/08/2017

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings by Mauricio Ayala-Rincon Interactive Theorem Proving 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully...
Format: Paperback - Released: 21/08/2017

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library by Nelson H.F. Beebe The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

This highly comprehensive handbook provides a substantial advance in the computation of elementary and special functions of mathematics, extending the function coverage of major programming languages well beyond their international standards, including full support for decimal floating-point arithmetic.
Format: Hardback - Released: 20/08/2017

Combinatorics on Words 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017, Proceedings by Srecko Brlek Combinatorics on Words 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montreal, QC, Canada, in September 2017. Discrete geometry plays an expanding role in the fields of shape modeling, image synthesis, and...
Format: Paperback - Released: 16/08/2017

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers by Ines de Castro Dutra High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016. The 20 full papers presented were carefully reviewed and selected from...
Format: Paperback - Released: 14/07/2017

Applications of Computer Algebra Kalamata, Greece, July 20-23 2015 by Ilias S. Kotsireas Applications of Computer Algebra Kalamata, Greece, July 20-23 2015

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides...
Format: Hardback - Released: 03/07/2017

Data Fusion Mathematics Theory and Practice by Jitendra R. Raol Data Fusion Mathematics Theory and Practice

Fills the Existing Gap of Mathematics for Data Fusion Data fusion (DF) combines large amounts of information from a variety of sources and fuses this data algorithmically, logically and, if required intelligently, using artificial intelligence (AI). Also, known as sensor...
Format: Paperback - Released: 01/07/2017

Monte Carlo Simulation Methods, Assessment & Applications by Frederick J. Mitchell Monte Carlo Simulation Methods, Assessment & Applications


Format: Paperback - Released: 01/07/2017

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings by Juliette Kennedy Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed...
Format: Paperback - Released: 30/06/2017

Registered users have access to unique site features

Register now