Mathematical theory of computation books

11059 books were found.

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering: 20th International...

Author: Jing Sun ,  Meng Sun
ISBN: 9783030024499
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods,...  Read More >>

High-Rate, High-Dimensional Quantum Key Distribution Systems

High-Rate, High-Dimensional Quantum Key Distribution...

Author: Nurul T. Islam
ISBN: 9783319989280
Format: Hardback
$290.37

This thesis captures the current state-of-the-art of the field of quantum communication in laboratory systems, and...  Read More >>

Quantum Computing Verstehen: Grundlagen - Anwendungen - Perspektiven

Quantum Computing Verstehen: Grundlagen - Anwendungen...

Author: Matthias Homeister
ISBN: 9783658228835
Format: Paperback
$72.42

Nach der technologischen Revolution, die die Erfindung des Computers ausgeloest hat, steht mit der Zusammenfuhrung...  Read More >>

Introduction to Parallel Computing: From Algorithms to Programming on State-of-the-Art Platforms

Introduction to Parallel Computing: From Algorithms...

Author: Roman Trobec ,  Boštjan Slivnik
ISBN: 9783319988320
Format: Paperback
$90.54

 Read More >>

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software: 15th International...

Author: Kyungmin Bae ,  Peter Csaba Ölveczky
ISBN: 9783030021450
Format: Paperback
$145.17

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component...  Read More >>

The Sentient Machine: The Coming Age of Artificial Intelligence

The Sentient Machine: The Coming Age of Artificial Intelligence...

Author: Amir Husain
ISBN: 9781501144684
Format: Paperback
$44.88

""Explores universal questions about humanity's capacity for living and thriving in the coming age of sentient machines...  Read More >>

Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Relational and Algebraic Methods in Computer Science:...

Author: Jules Desharnais ,  Walter Guttmann
ISBN: 9783030021481
Format: Paperback
$145.17

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in...  Read More >>

Evolutionary Computation and Complex Networks

Evolutionary Computation and Complex Networks

Author: Jing Liu ,  Hussein A. Abbass
ISBN: 9783319599984
Format: Hardback
$290.37

The authors interweave complex networks and evolutionary computing, using evolutionary computation to discover community...  Read More >>

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information...

Author: Bernard Zygelman
ISBN: 9783319916286
Format: Hardback
$142.29

This book addresses and introduces new developments in the field of Quantum Information and Computing (QIC) for...  Read More >>

Time Series Analysis and Forecasting: Selected Contributions from ITISE 2017

Time Series Analysis and Forecasting: Selected Contributions...

Author: Ignacio Rojas ,  Héctor Pomares
ISBN: 9783319969435
Format: Hardback
$448.77

This book presents selected peer-reviewed contributions from the International Work-Conference on Time Series, ITISE...  Read More >>

Swarm Intelligence: 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

Swarm Intelligence: 11th International Conference, ANTS...

Author: Marco Dorigo ,  Mauro Birattari
ISBN: 9783030005320
Format: Paperback
$145.17

This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held...  Read More >>

The Sentient Machine

The Sentient Machine

Author: Amir Husain
ISBN: 9789862487549
Format: Paperback
$104.54

Traditional Chinese edition of The Sentient Machine: The Coming Age of Artificial Intelligence  Read More >>

Handbook of Metaheuristics

Handbook of Metaheuristics

Author: Michel Gendreau ,  Jean-Yves Potvin
ISBN: 9783319910857
Format: Hardback
$580.77

 Read More >>

Keras Deep Learning Cookbook: Over 30 recipes for implementing deep neural networks in Python

Keras Deep Learning Cookbook: Over 30 recipes for implementing...

Author: Rajdeep Dua ,  Manpreet Singh Ghotra
ISBN: 9781788621755
Format: Paperback
$69.84

This book gives you a practical, hands-on understanding of how you can leverage the power of Python and Keras to...  Read More >>

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis:...

Author: Shuvendu K. Lahiri ,  Chao Wang
ISBN: 9783030010898
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification...  Read More >>

Numerical Analysis of Partial Differential Equations Using Maple and MATLAB

Numerical Analysis of Partial Differential Equations...

Author: Martin J. Gander ,  Felix Kwok
ISBN: 9781611975307
Format: Paperback
$135.30

Offers an elementary yet comprehensive introduction to the numerical solution of partial differential equations...  Read More >>

Computational Uncertainty Quantification for Inverse Problems

Computational Uncertainty Quantification for Inverse...

Author: Johnathan M. Bardsley
ISBN: 9781611975376
Format: Paperback
$112.20

Offers an introduction to both computational inverse problems and uncertainty quantification (UQ) for inverse problems....  Read More >>

Machine Learning with scikit-learn Quick Start Guide: Classification, regression, and clustering techniques in Python

Machine Learning with scikit-learn Quick Start Guide:...

Author: Kevin Jolly
ISBN: 9781789343700
Format: Paperback
$87.09

 Read More >>

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems: Essays Dedicated...

Author: Cliff Jones ,  Ji Wang
ISBN: 9783030014605
Format: Paperback
$145.17

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed...  Read More >>

Mathematics and Computing: ICMC 2018, Varanasi, India, January 9-11, Selected Contributions

Mathematics and Computing: ICMC 2018, Varanasi, India,...

Author: Debdas Ghosh ,  Debasis Giri
ISBN: 9789811320941
Format: Hardback
$290.37

This book discusses recent advances and research in applied mathematics, statistics and their applications in computing....  Read More >>

Geometric and Topological Inference

Geometric and Topological Inference

Author: Jean-Daniel Boissonnat ,  Frédéric Chazal
ISBN: 9781108410892
Format: Paperback
$98.32

 Read More >>

Geometric and Topological Inference

Geometric and Topological Inference

Author: Jean-Daniel Boissonnat ,  Frédéric Chazal
ISBN: 9781108419390
Format: Hardback
$163.01

This book offers a rigorous introduction to geometric and topological inference, a rapidly evolving field that intersects...  Read More >>

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Lessons in Scientific Computing: Numerical Mathematics,...

Author: Norbert Schorghofer (University of Hawaii, USA)
ISBN: 9781138070639
Format: Hardback
$462.00

Taking an interdisciplinary approach, this new book provides a modern introduction to scientific computing, exploring...  Read More >>

Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science: 36th National Conference,...

Author: Lian Li ,  Pinyan Lu
ISBN: 9789811327117
Format: Paperback
$145.17

 Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List