Mathematical theory of computation books

11059 books were found.

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis:...

Author: Yu-Fang Chen ,  Chih-Hong Cheng
ISBN: 9783030317836
Format: Paperback
$116.41

 Read More >>

Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis: 26th International Symposium, SAS 2019,...

Author: Bor-Yuh Evan Chang
ISBN: 9783030323035
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019,...  Read More >>

String Processing and Information Retrieval: 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

String Processing and Information Retrieval: 26th International...

Author: Nieves R. Brisaboa ,  Simon J. Puglisi
ISBN: 9783030326852
Format: Paperback
$116.41

This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information...  Read More >>

Challenges and Applications for Implementing Machine Learning in Computer Vision

Challenges and Applications for Implementing Machine...

Author: Ramgopal Kashyap ,  A.V. Senthil Kumar
ISBN: 9781799801832
Format: Paperback
$435.60

Presemts innovative research that combines theory and practice on adopting the latest deep learning advancements...  Read More >>

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification: 19th International Conference,...

Author: Bernd Finkbeiner ,  Leonardo Mariani
ISBN: 9783030320782
Format: Paperback
$142.29

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV...  Read More >>

Handbook of Research on Big Data Clustering and Machine Learning

Handbook of Research on Big Data Clustering and Machine...

Author: Fausto Pedro Garcia Marquez
ISBN: 9781799801061
Format: Hardback
$831.60

Synthesizes the analytic principles of clustering and machine learning to big data and provides an interface between...  Read More >>

Natural Language Processing and Chinese Computing: 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I

Natural Language Processing and Chinese Computing: 8th...

Author: Jie Tang ,  Min-Yen Kan
ISBN: 9783030322328
Format: Paperback
$232.85

 Read More >>

Gotik und Informatik: Intelligenter Entwurf damals und heute

Gotik und Informatik: Intelligenter Entwurf damals und...

Author: Manfred Nagl
ISBN: 9783662555170
Format: Hardback
$65.97

Der Autor behandelt den Entwurfsprozess der Gotik unter dem Aspekt von Entwurfs- und Entwicklungsprozessen der Informatik...  Read More >>

Applications in Statistical Computing: From Music Data Analysis to Industrial Quality Improvement

Applications in Statistical Computing: From Music Data...

Author: Nadja Bauer ,  Katja Ickstadt
ISBN: 9783030251468
Format: Paperback
$116.41

 Read More >>

PyTorch 1.x Reinforcement Learning Cookbook: Over 60 recipes to design, develop, and deploy self-learning AI models using Python

PyTorch 1.x Reinforcement Learning Cookbook: Over 60...

Author: Yuxi (Hayden) Liu
ISBN: 9781838551964
Format: Paperback
$116.13

This book presents practical solutions to the most common reinforcement learning problems. The recipes in this book...  Read More >>

Aspekte des Unendlichen: Eine kleine Erzählung für Nichtmathematiker

Aspekte des Unendlichen: Eine kleine Erzählung für Nichtmathematiker...

Author: Lutz Priese
ISBN: 9783658272111
Format: Hardback
$118.77

Ein Buch über die Unendlichkeit Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird...  Read More >>

Advanced Methods for Geometric Modeling and Numerical Simulation

Advanced Methods for Geometric Modeling and Numerical...

Author: Carlotta Giannelli ,  Hendrik Speleers
ISBN: 9783030273309
Format: Hardback
$310.47

This book gathers selected contributions presented at the INdAM Workshop “DREAMS”, held in Rome, Italy on January...  Read More >>

Quantum Collisions and Confinement of Atomic and Molecular Species, and Photons: Select Proceedings of the 7th Topical Conference of ISAMP 2018

Quantum Collisions and Confinement of Atomic and Molecular...

Author: P. C. Deshmukh ,  E. Krishnakumar
ISBN: 9789811399688
Format: Hardback
$465.72

This book comprises selected peer-reviewed papers presented at the 7th Topical Conference of the Indian Society...  Read More >>

Algorithmic Decision Theory: 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

Algorithmic Decision Theory: 6th International Conference,...

Author: Saša Pekeč ,  Kristen Brent Venable
ISBN: 9783030314880
Format: Paperback
$116.41

This book constitutes the conference proceedings of the 6th International Conference on Algorithmic Decision Theory,...  Read More >>

Business Economics and Finance with MATLAB, GIS, and Simulation Models

Business Economics and Finance with MATLAB, GIS, and...

Author: Patrick L. Anderson
ISBN: 9780367394066
Format: Paperback
$135.00

Offers an overview of advanced methods for solving problems in business, economics, and finance. This book describes...  Read More >>

The Semantic Web – ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

The Semantic Web – ISWC 2019: 18th International Semantic...

Author: Chiara Ghidini ,  Olaf Hartig
ISBN: 9783030307950
Format: Paperback
$181.10

The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions;...  Read More >>

Mathematics of Quantum Computation and Quantum Technology

Mathematics of Quantum Computation and Quantum Technology...

Author: Louis Kauffman (University of Illinois at Chicago, USA) ,  Samuel J. Lomonaco (University of Maryland, Baltimore, USA)
ISBN: 9780367388614
Format: Paperback
$135.00

Explores the mathematical advancements made in quantum computing and technology. This title contains topics in quantum...  Read More >>

Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering: 8th International...

Author: Hossein Hojjat ,  Mieke Massink
ISBN: 9783030315160
Format: Paperback
$116.41

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on...  Read More >>

The Semantic Web – ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I

The Semantic Web – ISWC 2019: 18th International Semantic...

Author: Chiara Ghidini ,  Olaf Hartig
ISBN: 9783030307929
Format: Paperback
$116.41

The two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic...  Read More >>

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

From Reactive Systems to Cyber-Physical Systems: Essays...

Author: Ezio Bartocci ,  Rance Cleaveland
ISBN: 9783030315139
Format: Paperback
$116.41

The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including...  Read More >>

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

The Continuous, the Discrete and the Infinitesimal in...

Author: John L. Bell
ISBN: 9783030187064
Format: Hardback
$258.72

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view:...  Read More >>

Contemporary High Performance Computing: From Petascale toward Exascale, Volume Two

Contemporary High Performance Computing: From Petascale...

Author: Jeffrey S. Vetter
ISBN: 9780367377755
Format: Paperback
$131.00

HPC is used to solve a number of complex questions in computational and data-intensive sciences. These questions...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List