Mathematical theory of computation books

11051 books were found.

Nonlinear Optimization: Models and Applications

Nonlinear Optimization: Models and Applications

Author: William P. Fox
ISBN: 9780367444150
Format: Hardback
$189.00

 Read More >>

Diskrete Mathematik mit Grundlagen: Lehrbuch für Studierende von MINT-Fächern

Diskrete Mathematik mit Grundlagen: Lehrbuch für Studierende...

Author: Sebastian Iwanowski ,  Rainer Lang
ISBN: 9783658327590
Format: Paperback
$105.57

Dieses Lehrbuch wendet sich an Leser ohne Studienvorkenntnisse, gibt eine elementare Einführung in die Diskrete...  Read More >>

Statistisches Programmieren mit R: Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung

Statistisches Programmieren mit R: Eine ausführliche,...

Author: Daniel Obszelka ,  Andreas Baierl
ISBN: 9783658288419
Format: Paperback
$158.37

Es vermittelt fundierte Kenntnisse zum sicheren und effizienten Einsatz von R zur Datenaufbereitung, Datenanalyse,...  Read More >>

An Invitation to Analytic Combinatorics: From One to Several Variables

An Invitation to Analytic Combinatorics: From One to...

Author: Stephen Melczer
ISBN: 9783030670795
Format: Hardback
$422.37

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics,...  Read More >>

Parallel Mesh Generation: Theory and Practice

Parallel Mesh Generation: Theory and Practice

Author: Nikos Chrisochoides (The College of William and Mary, Williamsburg, Virginia, USA) ,  Andrey Chernikov (The College of William and Mary, Williamsburg, Virginia, USA)
ISBN: 9781420073959
Format: Hardback
$237.47

Breaking new ground in parallel mesh generation research, this text presents both the theoretical foundations and...  Read More >>

Fundamentals of Quantum Programming in IBM's Quantum Computers

Fundamentals of Quantum Programming in IBM's Quantum...

Author: Weng-Long Chang ,  Athanasios V. Vasilakos
ISBN: 9783030635824
Format: Hardback
$290.37

This textbook introduces major topics that include quantum bits, superposition, entanglement, logic gates, quantum...  Read More >>

Advances in Computer Games: 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers

Advances in Computer Games: 16th International Conference,...

Author: Tristan Cazenave ,  Jaap van den Herik
ISBN: 9783030658823
Format: Paperback
$116.41

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

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

Verification and Evaluation of Computer and Communication...

Author: Belgacem Ben Hedia ,  Yu-Fang Chen
ISBN: 9783030659547
Format: Paperback
$116.41

This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer...  Read More >>

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Formal Methods and Software Engineering: 22nd International...

Author: Shang-Wei Lin ,  Zhe Hou
ISBN: 9783030634056
Format: Paperback
$116.41

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM...  Read More >>

Policy Decision Modeling with Fuzzy Logic: Theoretical and Computational Aspects

Policy Decision Modeling with Fuzzy Logic: Theoretical...

Author: Ali Guidara
ISBN: 9783030626273
Format: Hardback
$448.77

This book introduces the concept of policy decision emergence and its dynamics at the sub systemic level of the...  Read More >>

Active Inference: First International Workshop, IWAI 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020, Proceedings

Active Inference: First International Workshop, IWAI...

Author: Tim Verbelen ,  Pablo Lanillos
ISBN: 9783030649180
Format: Paperback
$206.97

 Read More >>

Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Monotonicity in Logic and Language: Second Tsinghua...

Author: Dun Deng ,  Fenrong Liu
ISBN: 9783662628423
Format: Paperback
$211.17

 Read More >>

TensorFlow 2 Reinforcement Learning Cookbook: Over 50 recipes to help you build, train, and deploy learning agents for real-world applications

TensorFlow 2 Reinforcement Learning Cookbook: Over 50...

Author: Praveen Palanisamy
ISBN: 9781838982546
Format: Paperback
$93.12

This cookbook will help you to gain a solid understanding of deep reinforcement learning (RL) algorithms with the...  Read More >>

Proceedings of the Sixth International Conference on Mathematics and Computing: ICMC 2020

Proceedings of the Sixth International Conference on...

Author: Debasis Giri ,  Rajkumar Buyya
ISBN: 9789811580604
Format: Paperback
$580.77

This book features selected papers from the 6th International Conference on Mathematics and Computing (ICMC 2020),...  Read More >>

Topological Methods in Data Analysis and Visualization V: Theory, Algorithms, and Applications

Topological Methods in Data Analysis and Visualization...

Author: Hamish Carr ,  Issei Fujishiro
ISBN: 9783030430351
Format: Hardback
$580.77

 Read More >>

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives:...

Author: Wolfgang Ahrendt ,  Bernhard Beckert
ISBN: 9783030643539
Format: Paperback
$116.41

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software...  Read More >>

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Software Verification: 12th International Conference,...

Author: Maria Christakis ,  Nadia Polikarpova
ISBN: 9783030636173
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE...  Read More >>

Web and Internet Economics: 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings

Web and Internet Economics: 16th International Conference,...

Author: Xujin Chen ,  Nikolai Gravin
ISBN: 9783030649456
Format: Paperback
$145.17

This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020,...  Read More >>

Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know

Understand Mathematics, Understand Computing: Discrete...

Author: Arnold L. Rosenberg ,  Denis Trystram
ISBN: 9783030583750
Format: Hardback
$194.04

In this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List