Mathematical theory of computation books

11059 books were found.

Data-Driven Computational Methods: Parameter and Operator Estimations

Data-Driven Computational Methods: Parameter and Operator...
Author: John Harlim (Pennsylvania State University) ISBN: 9781108472470 Format: Hardback	$147.49
Read More >>

Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Descriptional Complexity of Formal Systems: 20th IFIP...
Author: Stavros Konstantinidis , Giovanni Pighizzini ISBN: 9783319946306 Format: Paperback	$145.17
This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal... Read More >>

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 27th...
Author: Fabio Fioravanti , John P. Gallagher ISBN: 9783319944593 Format: Paperback	$145.17
Read More >>

Computational Models of Rhythm and Meter

Computational Models of Rhythm and Meter
Author: Georg Boenn ISBN: 9783319762845 Format: Hardback	$343.17
Read More >>

CABology: Value of Cloud, Analytics and Big Data Trio Wave

CABology: Value of Cloud, Analytics and Big Data Trio...
Author: Nitin Upadhyay ISBN: 9789811086748 Format: Hardback	$145.17
Read More >>

Algorithms for Data Science

Algorithms for Data Science
Author: Brian Steele , John Chandler ISBN: 9783319833736 Format: Paperback	$184.77
This textbook on practical data analytics unites fundamental principles, algorithms, and data. Algorithms are the... Read More >>

Statistical Analysis of Proteomics, Metabolomics, and Lipidomics Data Using Mass Spectrometry

Statistical Analysis of Proteomics, Metabolomics, and...
Author: Susmita Datta , Bart J. A. Mertens ISBN: 9783319833774 Format: Paperback	$527.97
This book presents an overview of computational and statistical design and analysis of mass spectrometry-based proteomics,... Read More >>

Advanced Finite Element Simulation with MSC Marc: Application of User Subroutines

Advanced Finite Element Simulation with MSC Marc: Application...
Author: Zia Javanbakht , Andreas Öchsner ISBN: 9783319837949 Format: Paperback	$290.37
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed... Read More >>

Kryptographie: Grundlagen, Algorithmen, Protokolle

Kryptographie: Grundlagen, Algorithmen, Protokolle
Author: Dietmar Wätjen ISBN: 9783658224738 Format: Paperback	$131.97
Professor am Institut für Theoretische Informatik der Technischen Universität Braunschweig, gelingt mit diesem Buch... Read More >>

Software Developers as Users: Semiotic Investigations in Human-Centered Software Development

Software Developers as Users: Semiotic Investigations...
Author: Clarisse Sieckenius de Souza , Renato Fontoura de Gusmão Cerqueira ISBN: 9783319826745 Format: Paperback	$290.37
Read More >>

Foundations of Computational Finance with MATLAB

Foundations of Computational Finance with MATLAB
Author: Ed McCarthy (MathWorks Certified MATLAB Associate) ISBN: 9781119433859 Format: Hardback	$62.95
Graduate from Excel to MATLAB® to keep up with the evolution of finance data Foundations of Computational Finance... Read More >>

Proofs from THE BOOK

Proofs from THE BOOK
Author: Martin Aigner , Karl H. Hofmann ISBN: 9783662572641 Format: Hardback	$129.35
As well as the original material, this revised and enlarged fourth edition has new chapters on treat classical results... Read More >>

Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Sailing Routes in the World of Computation: 14th Conference...
Author: Florin Manea , Russell G. Miller ISBN: 9783319944173 Format: Paperback	$145.17
Read More >>

All About Music: The Complete Ontology: Realities, Semiotics, Communication, and Embodiment

All About Music: The Complete Ontology: Realities, Semiotics,...
Author: Guerino Mazzola , Maria Mannone ISBN: 9783319837147 Format: Paperback	$145.17
Read More >>

Information Theory and Coding - Solved Problems

Information Theory and Coding - Solved Problems
Author: Predrag Ivaniš , Dušan Drajić ISBN: 9783319841472 Format: Paperback	$369.57
This book is offers a comprehensive overview of information theory and error control coding, using a different approach... Read More >>

Application of Soft Computing and Intelligent Methods in Geophysics

Application of Soft Computing and Intelligent Methods...
Author: Alireza Hajian , Peter Styles ISBN: 9783319665313 Format: Hardback	$527.97
This book provides a practical guide to applying soft-computing methods to interpret geophysical data. It discusses... Read More >>

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving: 9th International Conference,...
Author: Jeremy Avigad , Assia Mahboubi ISBN: 9783319948201 Format: Paperback	$206.97
Read More >>

Information and Interaction: Eddington, Wheeler, and the Limits of Knowledge

Information and Interaction: Eddington, Wheeler, and...
Author: Ian T. Durham , Dean Rickles ISBN: 9783319829043 Format: Paperback	$211.17
In this essay collection, leading physicists, philosophers, and historians attempt to fill the empty theoretical... Read More >>

Optimization Techniques in Computer Vision: Ill-Posed Problems and Regularization

Optimization Techniques in Computer Vision: Ill-Posed...
Author: Mongi A. Abidi , Andrei V. Gribok ISBN: 9783319835013 Format: Paperback	$263.97
Read More >>

Combinatorial Algorithms: 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

Combinatorial Algorithms: 29th International Workshop,...
Author: Costas Iliopoulos , Hon Wai Leong ISBN: 9783319946665 Format: Paperback	$145.17
This book constitutes the refereed post-conference proceedings of the 29th International Workshop on Combinatorial... Read More >>

Monte Carlo and Quasi-Monte Carlo Methods: MCQMC 2016, Stanford, CA, August 14-19

Monte Carlo and Quasi-Monte Carlo Methods: MCQMC 2016,...
Author: Art B. Owen , Peter W. Glynn ISBN: 9783319914350 Format: Hardback	$290.37
This book presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte... Read More >>

Classes of Directed Graphs

Classes of Directed Graphs
Author: Jørgen Bang-Jensen , Gregory Gutin ISBN: 9783319718392 Format: Hardback	$448.77
Read More >>

Python Artificial Intelligence Projects for Beginners: Get up and running with Artificial Intelligence using 8 smart and exciting AI applications

Python Artificial Intelligence Projects for Beginners:...
Author: Dr. Joshua Eckroth ISBN: 9781789539462 Format: Paperback	$71.25
This book demonstrates AI projects in Python covering modern techniques that make up the world of Artificial Intelligence.... Read More >>

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning: 9th International Joint Conference,...
Author: Didier Galmiche , Stephan Schulz ISBN: 9783319942049 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning,... Read More >>

Computing and Combinatorics: 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

Computing and Combinatorics: 24th International Conference,...
Author: Lusheng Wang , Daming Zhu ISBN: 9783319947754 Format: Paperback	$145.17
Read More >>

Page 140 of 443 ... 135 136 137 138 139 140 141 142 143 144 ...

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