Mathematical theory of computation books

11069 books were found.

Mathematical and Statistical Methods for Insurance and Finance

Mathematical and Statistical Methods for Insurance and...

Author: Cira Perna ,  Marilena Sibillo
ISBN: 9788847056015
Format: Paperback
$145.17

The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of...  Read More >>

Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008

Advances in Combinatorial Mathematics: Proceedings of...

Author: Ilias S. Kotsireas ,  Eugene V. Zima
ISBN: 9783642425042
Format: Paperback
$290.37

The Second Waterloo Workshop on Computer Algebra was dedicated to the 70th birthday of combinatorics pioneer Georgy...  Read More >>

Graph-Theoretic Concepts in Computer Science: 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers

Graph-Theoretic Concepts in Computer Science: 40th International...

Author: Dieter Kratsch ,  Ioan Todinca
ISBN: 9783319123394
Format: Paperback
$145.17

The papers cover a wide range of topics in graph theory related to computer science, such as design and analysis...  Read More >>

Support Vector Machines

Support Vector Machines

Author: Ingo Steinwart ,  Andreas Christmann
ISBN: 9781489989635
Format: Paperback
$475.17

In a nutshell, we identify at least three reasons for the success of SVMs: their ability to learn well with only...  Read More >>

Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets

Author: René David ,  Hassane Alla
ISBN: 9783642424694
Format: Paperback
$527.97

This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets...  Read More >>

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic Model Checking: International Autumn School,...

Author: Anne Remke ,  Mariëlle Stoelinga
ISBN: 9783662454886
Format: Paperback
$145.17

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis...  Read More >>

Brain-Inspired Computing: International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Brain-Inspired Computing: International Workshop, BrainComp...

Author: Lucio Grandinetti ,  Thomas Lippert
ISBN: 9783319120836
Format: Paperback
$103.47

This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Brain-inspired...  Read More >>

Explorations in Monte Carlo Methods

Explorations in Monte Carlo Methods

Author: Ronald W. Shonkwiler ,  Franklin Mendivil
ISBN: 9781489983794
Format: Paperback
$158.37

 Read More >>

Statistical Analysis of Designed Experiments, Third Edition

Statistical Analysis of Designed Experiments, Third...

Author: Helge Toutenburg ,  Shalabh
ISBN: 9781489983398
Format: Paperback
$448.77

This textbook presents the design and analysis of experiments that comprise the aspects of classical theory for...  Read More >>

An Intermediate Course in Probability

An Intermediate Course in Probability

Author: Allan Gut
ISBN: 9781489984463
Format: Paperback
$184.77

 Read More >>

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

Implicit Curves and Surfaces: Mathematics, Data Structures...

Author: Abel Gomes ,  Irina Voiculescu
ISBN: 9781447158776
Format: Paperback
$261.36

In presenting the mathematics, computational methods and data structures, as well as the algorithms needed to render...  Read More >>

Chaos, Nonlinearity, Complexity: The Dynamical Paradigm of Nature

Chaos, Nonlinearity, Complexity: The Dynamical Paradigm...

Author: Ashok Sengupta
ISBN: 9783642421600
Format: Paperback
$448.77

 Read More >>

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Author: Erich Grädel ,  Phokion G. Kolaitis
ISBN: 9783642438608
Format: Paperback
$287.76

 Read More >>

Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise: A selection of common capabilities validated in real-life business trials by the BEinGRID consortium

Service Oriented Infrastructures and Cloud Service Platforms...

Author: Theo Dimitrakos ,  Josep Martrat
ISBN: 9783642447648
Format: Paperback
$290.37

It analyses a selection of common capabilities (services capturing reusable functionality of IT solutions) that...  Read More >>

Sketching as a Tool for Numerical Linear Algebra

Sketching as a Tool for Numerical Linear Algebra

Author: David P. Woodruff
ISBN: 9781680830040
Format: Paperback
$261.36

 Read More >>

Intelligent Information Processing VII: 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Intelligent Information Processing VII: 8th IFIP TC...

Author: Zhongzhi Shi ,  Zhaohui Wu
ISBN: 9783662449790
Format: Hardback
$145.17

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information...  Read More >>

Morphological Modeling of Terrains and Volume Data

Morphological Modeling of Terrains and Volume Data

Author: Lidija Čomić ,  Leila De Floriani
ISBN: 9781493921485
Format: Paperback
$145.17

This book describes the mathematical background behind discrete approaches to morphological analysis of scalar fields,...  Read More >>

Evolutionary Algorithms for Solving Multi-Objective Problems

Evolutionary Algorithms for Solving Multi-Objective...

Author: Carlos Coello Coello ,  Gary B. Lamont
ISBN: 9781489994608
Format: Paperback
$263.97

Solving multi-objective problems is an evolving effort, and computer science and other related disciplines have...  Read More >>

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments:...

Author: Dimitra Giannakopoulou ,  Daniel Kroening
ISBN: 9783319121536
Format: Paperback
$145.17

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference...  Read More >>

Computational Methods in Systems Biology: 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Computational Methods in Systems Biology: 12th International...

Author: Pedro Mendes ,  Joseph O. Dada
ISBN: 9783319129815
Format: Paperback
$145.17

The papers are organized in topical sections on formalisms for modeling biological processes, model inference from...  Read More >>

Logica: Volume 1 - Dimostrazioni e modelli al primo ordine

Logica: Volume 1 - Dimostrazioni e modelli al primo...

Author: Vito Michele Abrusci ,  Lorenzo Tortora de Falco
ISBN: 9788847055377
Format: Paperback
$105.57

Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire...  Read More >>

Haptics: Neuroscience, Devices, Modeling, and Applications: 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II

Haptics: Neuroscience, Devices, Modeling, and Applications:...

Author: Malika Auvray ,  Christian Duriez
ISBN: 9783662441954
Format: Paperback
$145.17

The two-volume set LNCS 8618 and 8619 constitutes the refereed proceedings of the 9th International Conference EuroHaptics...  Read More >>

Algorithmic Differentiation of Pragma-Defined Parallel Regions: Differentiating Computer Programs Containing OpenMP

Algorithmic Differentiation of Pragma-Defined Parallel...

Author: Michael Förster
ISBN: 9783658075965
Format: Paperback
$145.17

Numerical programs often use parallel programming techniques such as OpenMP to compute the program's output values...  Read More >>

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems: 12th Asian Symposium,...

Author: Jacques Garrigue
ISBN: 9783319127354
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List