join us on facebook hold back the stars win prizes twitter eleanor oliphant
Search our site
The Treatment by C. L. Taylor Read the opening extract of the brand new C. L. Taylor book before its publication on 19/10/2017

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

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. The 21 revised full papers presented together with 5invoted talks were carefully reviewed and selected...
Format: Paperback - Released: 18/09/2017

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. The conference is colocated with the 20th...
Format: Paperback - Released: 18/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: 04/09/2017

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers by James Cussens Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming, ILP 2016, held in London, UK, in September 2016. The 10 full papers presented were carefully reviewed and selected from 29 submissions. The...
Format: Paperback - Released: 20/08/2017

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers by Rui Camacho 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: 11/08/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: 01/08/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

Coming Soon

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/09/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 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully...
Format: Paperback - Released: 26/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

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. Written with...
Format: Hardback - Released: 29/09/2017

Modern Language Models and Computation Theory with Applications by Alexander Meduna, Ondrej Soukup 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: 06/10/2017

Other books in this genre

Words and Their Meaning by Howard Jackson Words and Their Meaning

In this book, the development of the English dictionary is examined, along with the kinds of dictionary available, the range of information they contain, factors affecting their usage, and public attitudes towards them. As well as an descriptive analysis of...
Format: Hardback - Released: 28/06/2017

Art, Design and Technology: Collaboration and Implementation by Rae Earnshaw Art, Design and Technology: Collaboration and Implementation

This book examines how digital technology is being used to assist the artists and designers. The computer is able to store data and reproduce designs, thus facilitating the speed-up of the iterative process towards a final design which meets the...
Format: Paperback - Released: 09/06/2017

Codes and Rings Theory and Practice by Shi, Patrick Sole, Adel Alahmadi Codes and Rings Theory and Practice
, ,
Codes and Rings: Theory and Practice is a systematic review of literature that focuses on codes over rings and rings acting on codes. Since the breakthrough works on quaternary codes in the 1990s, two decades of research have moved the...
Format: Paperback - Released: 08/06/2017

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings by Friedrich Eisenbrand Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017. The 36 full papers presented were carefully reviewed and selected from 125 submissions....
Format: Paperback - Released: 24/05/2017

Distributed, Ambient and Pervasive Interactions 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings by Norbert Streitz Distributed, Ambient and Pervasive Interactions 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.
Format: Paperback - Released: 18/05/2017

Nature-Inspired Computing Physics and Chemistry-Based Algorithms by Nazmul H. Siddique, Hojjat Adeli Nature-Inspired Computing Physics and Chemistry-Based Algorithms
,
Nature-Inspired Computing: Physics and Chemistry-Based Algorithms provides a comprehensive introduction to the methodologies and algorithms in nature-inspired computing, with an emphasis on applications to real-life engineering problems. The research interest for Nature-inspired Computing has grown considerably exploring different phenomena observed...
Format: Hardback - Released: 15/05/2017

The Incomputable Journeys Beyond the Turing Barrier by S. Barry Cooper The Incomputable Journeys Beyond the Turing Barrier

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique...
Format: Hardback - Released: 12/05/2017

Basic Graph Theory by Saidur Rahman Basic Graph Theory

This undergraduate textbook provides an introduction to graph theory, which has numerous applications in modeling problems in science and technology, and has become a vital component to computer science, computer science and engineering, and mathematics curricula of universities all over...
Format: Paperback - Released: 10/05/2017

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, Wivace 2016, Fisciano, Italy, October 4-6, 2016. Revised Selected Papers by Federico Rossi Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, Wivace 2016, Fisciano, Italy, October 4-6, 2016. Revised Selected Papers

This book constitutes the revised selected papers of the 11th Italian Workshop on Advances in Artificial Life, Evolutionary Computation and Systems Chemistry, WIVACE 2016, held at Fisciano, Italy, in October 2016. The 16 full papers together with 1 short papers...
Format: Paperback - Released: 21/04/2017

Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings by Debasis Giri Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

This book constitutes the proceedings of the Third International Conference on Mathematics and Computing, ICMC 2017, held in Haldia, India, in January 2017. The 35 papers presented in this volume were carefully reviewed and selected from 129 submissions. They were...
Format: Paperback - Released: 16/04/2017

Numerical Analysis and its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers by Ivan Dimov Numerical Analysis and its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers

This book constitutes thoroughly revised selected papers of the 6th International Conference on Numerical Analysis and Its Applications, NAA 2016, held in Lozenetz, Bulgaria, in June 2016. The 90 revised papers presented were carefully reviewed and selected from 98 submissions....
Format: Paperback - Released: 12/04/2017

Registered users have access to unique site features

Register now