Mathematical theory of computation books

11059 books were found.

EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII

EVOLVE – A Bridge between Probability, Set Oriented...
Author: Michael Emmerich , André Deutz ISBN: 9783319841335 Format: Paperback	$290.37
Read More >>

Progress in Approximation Theory and Applicable Complex Analysis: In Memory of Q.I. Rahman

Progress in Approximation Theory and Applicable Complex...
Author: Narendra Kumar Govil , Ram Mohapatra ISBN: 9783319841120 Format: Paperback	$343.17
Current and historical research methods in approximation theory are presented in this book beginning with the 1800s... Read More >>

Models of Computation

Models of Computation
Author: Roberto Bruni , Ugo Montanari ISBN: 9783319826899 Format: Paperback	$171.57
This book presents in their basic form the most important models of computation, their basic programming paradigms,... Read More >>

Meshfree Methods for Partial Differential Equations VIII

Meshfree Methods for Partial Differential Equations...
Author: Michael Griebel , Marc Alexander Schweitzer ISBN: 9783319847870 Format: Paperback	$290.37
Read More >>

Combinatorics and Complexity of Partition Functions

Combinatorics and Complexity of Partition Functions...
Author: Alexander Barvinok ISBN: 9783319847511 Format: Paperback	$369.57
Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct... Read More >>

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Intelligent Computer Mathematics: 11th International...
Author: Florian Rabe , William M. Farmer ISBN: 9783319968117 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics,... Read More >>

High Performance Computing in Science and Engineering: Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

High Performance Computing in Science and Engineering:...
Author: Tomáš Kozubek , Martin Čermák ISBN: 9783319971353 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference... Read More >>

Mathematics of Big Data: Spreadsheets, Databases, Matrices, and Graphs

Mathematics of Big Data: Spreadsheets, Databases, Matrices,...
Author: Jeremy Kepner , Hayden Jananthan ISBN: 9780262038393 Format: Hardback	$175.00
Read More >>

Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Formal Grammar 2018: 23rd International Conference,...
Author: Annie Foret , Greg Kobele ISBN: 9783662577837 Format: Paperback	$145.17
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the... Read More >>

Kontrollflussanalyse Und Formale Begriffsanalyse Von C-Code Aus Software-Produktlinien Mit Variabilitatsmanagement Durch Den Praprozessor

Kontrollflussanalyse Und Formale Begriffsanalyse Von...
Author: Dierk Ludemann ISBN: 9783832547424 Format: Paperback	$316.80
Read More >>

Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Mathematical Software – ICMS 2018: 6th International...
Author: James H. Davenport , Manuel Kauers ISBN: 9783319964171 Format: Paperback	$145.17
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held... Read More >>

Extended Cognition and the Dynamics of Algorithmic Skills

Extended Cognition and the Dynamics of Algorithmic Skills...
Author: Simone Pinna ISBN: 9783319847559 Format: Paperback	$145.17
This book describes a novel methodology for studying algorithmic skills, intended as cognitive activities related... Read More >>

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View
Author: Daniel Kroening , Ofer Strichman ISBN: 9783662570654 Format: Paperback	$145.17
Read More >>

Self-Aware Computing Systems

Self-Aware Computing Systems
Author: Samuel Kounev , Jeffrey O. Kephart ISBN: 9783319837444 Format: Paperback	$527.97
Read More >>

Discrete Probability Models and Methods: Probability on Graphs and Trees, Markov Chains and Random Fields, Entropy and Coding

Discrete Probability Models and Methods: Probability...
Author: Pierre Brémaud ISBN: 9783319828350 Format: Paperback	$181.10
The emphasis in this book is placed on general models (Markov chains, random fields, random graphs), universal methods... Read More >>

Random Walks in the Quarter Plane: Algebraic Methods, Boundary Value Problems, Applications to Queueing Systems and Analytic Combinatorics

Random Walks in the Quarter Plane: Algebraic Methods,...
Author: Guy Fayolle , Roudolf Iasnogorodski ISBN: 9783319845258 Format: Paperback	$232.85
This monograph aims to promote original mathematical methods to determine the invariant measure of two-dimensional... Read More >>

Introduction to Mathematica® with Applications

Introduction to Mathematica® with Applications
Author: Marian Mureşan ISBN: 9783319847948 Format: Paperback	$343.17
Read More >>

Feistel Ciphers: Security Proofs and Cryptanalysis

Feistel Ciphers: Security Proofs and Cryptanalysis
Author: Valerie Nachef , Jacques Patarin ISBN: 9783319841816 Format: Paperback	$527.97
Read More >>

Numbers and Computers

Numbers and Computers
Author: Ronald T. Kneusel ISBN: 9783319844152 Format: Paperback	$171.57
Read More >>

Network Games, Control, and Optimization: Proceedings of NETGCOOP 2016, Avignon, France

Network Games, Control, and Optimization: Proceedings...
Author: Samson Lasaulce , Tania Jimenez ISBN: 9783319845500 Format: Paperback	$290.37
Read More >>

Controlling Language in Industry: Controlled Languages for Technical Documents

Controlling Language in Industry: Controlled Languages...
Author: Stephen Crabbe ISBN: 9783319849751 Format: Paperback	$184.77
This book provides an in-depth study of controlled languages used in technical documents from both a theoretical... Read More >>

Data Analytics and Management in Data Intensive Domains: XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papers

Data Analytics and Management in Data Intensive Domains:...
Author: Leonid Kalinichenko , Yannis Manolopoulos ISBN: 9783319965529 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 19th International Conference on Data Analytics and Management... Read More >>

A Tutorial on Thompson Sampling

A Tutorial on Thompson Sampling
Author: Daniel J. Russo , Benjamin Van Roy ISBN: 9781680834703 Format: Paperback	$211.20
Read More >>

Scalable Algorithms for Contact Problems

Scalable Algorithms for Contact Problems
Author: Zdeněk Dostál , Tomáš Kozubek ISBN: 9781493983124 Format: Paperback	$369.57
This book presents a comprehensive and self-contained treatment of the authors’ newly developed scalable algorithms... Read More >>

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods: 22nd International Symposium, FM 2018,...
Author: Klaus Havelund , Jan Peleska ISBN: 9783319955810 Format: Paperback	$263.97
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held... Read More >>

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

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