Mathematical theory of computation books

11059 books were found.

Big-Data Analytics and Cloud Computing: Theory, Algorithms and Applications

Big-Data Analytics and Cloud Computing: Theory, Algorithms...
Author: Marcello Trovati , Richard Hill ISBN: 9783319797670 Format: Paperback	$343.17
Read More >>

Quantum Computational Number Theory

Quantum Computational Number Theory
Author: Song Y. Yan ISBN: 9783319798462 Format: Paperback	$290.37
Read More >>

Distributed Simulation: A Model Driven Engineering Approach

Distributed Simulation: A Model Driven Engineering Approach...
Author: Okan Topçu , Umut Durak ISBN: 9783319791364 Format: Paperback	$263.97
Read More >>

Geospatial Algebraic Computations: Theory and Applications

Geospatial Algebraic Computations: Theory and Applications...
Author: Joseph Awange , Béla Paláncz ISBN: 9783319797946 Format: Paperback	$290.37
It is in realization that such huge amount of data requires efficient and robust mathematical solutions that this... Read More >>

Introduction to Statistics: Using Interactive MM*Stat Elements

Introduction to Statistics: Using Interactive MM*Stat...
Author: Wolfgang Karl Härdle , Sigbert Klinke ISBN: 9783319792378 Format: Paperback	$171.57
Introduction to Statistics Read More >>

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Bidirectional Transformations: International Summer...
Author: Jeremy Gibbons , Perdita Stevens ISBN: 9783319791074 Format: Paperback	$145.17
Read More >>

Advances in Information Systems Development: Methods, Tools and Management

Advances in Information Systems Development: Methods,...
Author: Nearchos Paspallis , Marios Raspopoulos ISBN: 9783319748160 Format: Paperback	$290.37
Read More >>

Modelling and Verification of Secure Exams

Modelling and Verification of Secure Exams
Author: Rosario Giustolisi ISBN: 9783319671062 Format: Hardback	$145.17
In this book the author introduces a novel approach to securing exam systems. He describes the tasks that occur... Read More >>

Wie berechenbar ist unsere Welt: Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung

Wie berechenbar ist unsere Welt: Herausforderungen für...
Author: Klaus Mainzer ISBN: 9783658212971 Format: Paperback	$47.49
Klaus Mainzer legt in diesem essential dar, dass die Zukunft von KI und Digitalisierung eine nüchterne Analyse erfordert,... Read More >>

Energy Minimization Methods in Computer Vision and Pattern Recognition: 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers

Energy Minimization Methods in Computer Vision and Pattern...
Author: Marcello Pelillo , Edwin Hancock ISBN: 9783319781983 Format: Paperback	$116.41
This volume constitutes the refereed proceedings of the 11th International Conference on Energy Minimization Methods... Read More >>

Agent-Based Models in Economics: A Toolkit

Agent-Based Models in Economics: A Toolkit
Author: Domenico Delli Gatti (Università Cattolica del Sacro Cuore, Milano) , Giorgio Fagiolo ISBN: 9781108400046 Format: Paperback	$72.45
Read More >>

Combinatorial Optimization: Theory and Algorithms

Combinatorial Optimization: Theory and Algorithms
Author: Bernhard Korte , Jens Vygen ISBN: 9783662560389 Format: Hardback	$263.97
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms... Read More >>

Agent-Based Models in Economics: A Toolkit

Agent-Based Models in Economics: A Toolkit
Author: Domenico Delli Gatti (Università Cattolica del Sacro Cuore, Milano) , Giorgio Fagiolo ISBN: 9781108414999 Format: Hardback	$256.16
Read More >>

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning:...
Author: Madalina Croitoru , Pierre Marquis ISBN: 9783319781013 Format: Paperback	$98.30
Read More >>

Artificial Evolution: 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

Artificial Evolution: 13th International Conference,...
Author: Evelyne Lutton , Pierrick Legrand ISBN: 9783319781327 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on... Read More >>

Structures and Algorithms: Mathematics and the Nature of Knowledge

Structures and Algorithms: Mathematics and the Nature...
Author: Jens Erik Fenstad ISBN: 9783319729732 Format: Hardback	$316.77
This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms,... Read More >>

Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Inductive Logic Programming: 27th International Conference,...
Author: Nicolas Lachiche , Christel Vrain ISBN: 9783319780894 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on... Read More >>

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

LATIN 2018: Theoretical Informatics: 13th Latin American...
Author: Michael A. Bender , Martín Farach-Colton ISBN: 9783319774039 Format: Paperback	$116.41
This book constitutes the proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018,... Read More >>

Geometrically Unfitted Finite Element Methods and Applications: Proceedings of the UCL Workshop 2016

Geometrically Unfitted Finite Element Methods and Applications:...
Author: Stéphane P. A. Bordas , Erik Burman ISBN: 9783319714301 Format: Hardback	$448.77
This book provides a snapshot of the state of the art of the rapidly evolving field of integration of geometric... Read More >>

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods: 10th International Symposium, NFM...
Author: Aaron Dutle , César Muñoz ISBN: 9783319779348 Format: Paperback	$116.41
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held... Read More >>

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

Language and Automata Theory and Applications: 12th...
Author: Shmuel Tomi Klein , Carlos Martín-Vide ISBN: 9783319773124 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory... Read More >>

Modelling and Simulation for Autonomous Systems: 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Modelling and Simulation for Autonomous Systems: 4th...
Author: Jan Mazal ISBN: 9783319760711 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling... Read More >>

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Theory and Applications of Formal Argumentation: 4th...
Author: Elizabeth Black , Sanjay Modgil ISBN: 9783319755526 Format: Paperback	$116.41
Read More >>

Input/Output Databases: Uses in Business and Government

Input/Output Databases: Uses in Business and Government...
Author: Jay M. Gould ISBN: 9780815350330 Format: Hardback	$231.00
Read More >>

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Intuitionistic Proof Versus Classical Truth: The Role...
Author: Enrico Martino ISBN: 9783319743561 Format: Hardback	$290.37
This book examines the role of acts of choice in classical and intuitionistic mathematics. Read More >>

Page 149 of 443 ... 144 145 146 147 148 149 150 151 152 153 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now