Are you between 5 and 25? If so, enter the Wicked Young Writer Awards NOW - click here for details...

book price comparison join us on facebook
Search our site
A Long Way from Home by Cathy Glass Read the opening extract of the brand new Cathy Glass book before its publication on 22/02/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

Cryptography An Introduction by Cryptography An Introduction

Learning about cryptography requires examining fundamental issues about information security. This book offers a description of the main notions of modern cryptography: a cipher, a key, security, an electronic digital signature, and a cryptographic protocol. It is suitable for those...
Format: Paperback - Released: 15/02/2018

Space in Weak Propositional Proof Systems by Ilario Bonacina Space in Weak Propositional Proof Systems

This book considers logical proof systems from the point of view of their space complexity.
Format: Hardback - Released: 24/01/2018

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings by Johannes Bloemer Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed...
Format: Paperback - Released: 21/12/2017

Algebraic Modeling of Topological and Computational Structures and Applications THALES, Athens, Greece, July 1-3, 2015 by Sofia Lambropoulou Algebraic Modeling of Topological and Computational Structures and Applications THALES, Athens, Greece, July 1-3, 2015

This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music...
Format: Hardback - Released: 16/12/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: 11/12/2017

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings by Sergei Artemov Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. logical...
Format: Paperback - Released: 28/11/2017

Compilation for Secure Multi-party Computation by Niklas Buscher, Stefan Katzenbeisser 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: 27/11/2017

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: 03/11/2017

Coming Soon

Quantum Information and Computation XIII by Eric Donkor Quantum Information and Computation XIII

Proceedings of SPIE offer access to the latest innovations in research and technology and are among the most cited references in patent literature.
Format: Paperback - Released: 26/02/2018

The Art of Differentiating Computer Programs by Uwe (Aachen University of Technology) Naumann The Art of Differentiating Computer Programs

This entry-level book on algorithmic (also known as automatic) differentiation (AD) covers the mathematical underpinnings as well as real-world applications.
Format: Paperback - Released: 06/03/2018

Feasible Computations and Provable Complexity Properties by Juris Hartmanis Feasible Computations and Provable Complexity Properties

An overview of current developments in research on feasible computations; and its relation to provable properties of complexity of computations.
Format: Paperback - Released: 06/03/2018

Classical and Quantum Computation by Classical and Quantum Computation

Presents an introduction to the theory of quantum computing. This book starts with the basics of classical theory of computation: Turing machines, Boolean circuits, parallel algorithms, probabilistic computation, NP-complete problems, and the idea of complexity of an algorithm. It provides...
Format: Paperback - Released: 09/03/2018

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches by Bernhard Steffen, Oliver Ruthing, Michael Huth Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
, ,
A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.
Format: Hardback - Released: 15/03/2018

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: 20/03/2018

An Introduction to the Technique of Formative Processes in Set Theory by Domenico Cantone, Pietro Ursino An Introduction to the Technique of Formative Processes in Set Theory
,
This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.
Format: Hardback - Released: 23/03/2018

Advances in Computer Algebra In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada by Carsten Schneider Advances in Computer Algebra In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop...
Format: Hardback - Released: 29/03/2018

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018, Proceedings by Arnaud Liefooghe Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018, Proceedings

This book constitutes the refereed proceedings of the 18th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events EuroGP, EvoMUSART and EvoApplications. The 12 revised full...
Format: Paperback - Released: 14/04/2018

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings by Shmuel Tomi Klein Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.The 20 revised full papers presented together with 3 invited papers were carefully...
Format: Paperback - Released: 14/04/2018

Other books in this genre

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: 17/10/2017

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


Format: Hardback - Released: 01/10/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: 08/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

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

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

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: 26/07/2017

Registered users have access to unique site features

Register now