Mathematical theory of computation books

11051 books were found.

Artificial Intelligence and Evolutionary Computations in Engineering Systems: Computational Algorithm for AI Technology, Proceedings of ICAIECES 2020

Artificial Intelligence and Evolutionary Computations...

Author: S. Chandramohan ,  Bala Venkatesh
ISBN: 9789811626739
Format: Paperback
$569.22

This book gathers selected papers presented at the 6th International Conference on Artificial Intelligence and Evolutionary...  Read More >>

Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods

Schwarz Methods and Multilevel Preconditioners for Boundary...

Author: Ernst P. Stephan ,  Thanh Tran
ISBN: 9783030792824
Format: Hardback
$527.97

These techniques are unique for the discretisation of first-kind integral equations since the resulting systems...  Read More >>

Computer Algebra  in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings

Computer Algebra in Scientific Computing: 23rd International...

Author: François Boulier ,  Matthew England
ISBN: 9783030851644
Format: Paperback
$206.97

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing,...  Read More >>

Modeling Decisions for Artificial Intelligence: 18th International Conference, MDAI 2021, Umeå, Sweden, September 27–30, 2021, Proceedings

Modeling Decisions for Artificial Intelligence: 18th...

Author: Vicenç Torra ,  Yasuo Narukawa
ISBN: 9783030855284
Format: Paperback
$194.04

This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial...  Read More >>

Spatial Data and Intelligence: Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings

Spatial Data and Intelligence: Second International...

Author: Gang Pan ,  Hui Lin
ISBN: 9783030854614
Format: Paperback
$116.41

This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI...  Read More >>

Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory...

Author: Toshiyasu Arai
ISBN: 9789811564611
Format: Paperback
$155.22

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal...  Read More >>

Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings

Combinatorics on Words: 13th International Conference,...

Author: Thierry Lecroq ,  Svetlana Puzynina
ISBN: 9783030850876
Format: Paperback
$142.29

This book constitutes the refereed proceedings of the 13th International Conference on Combinatorics on Words, WORDS...  Read More >>

Formalization of Complex Analysis and Matrix Theory

Formalization of Complex Analysis and Matrix Theory...

Author: Zhiping Shi ,  Yong Guan
ISBN: 9789811572630
Format: Paperback
$422.37

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory,...  Read More >>

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

Author: Reinhard Kahle ,  Michael Rathjen
ISBN: 9783030494261
Format: Paperback
$343.17

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte...  Read More >>

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Formal Methods for Industrial Critical Systems: 26th...

Author: Alberto Lluch Lafuente ,  Anastasia Mavridou
ISBN: 9783030852474
Format: Paperback
$116.41

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical...  Read More >>

Probabilità, Statistica e Simulazione: Programmi applicativi scritti in R

Probabilità, Statistica e Simulazione: Programmi applicativi...

Author: Alberto Rotondi ,  Paolo Pedroni
ISBN: 9788847040090
Format: Paperback
$131.97

Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni...  Read More >>

Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 19th...

Author: Catalin Dima ,  Mahsa Shirmohammadi
ISBN: 9783030850364
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis...  Read More >>

Computational Reconstruction of Missing Data in Biological Research

Computational Reconstruction of Missing Data in Biological...

Author: Feng Bao
ISBN: 9789811630637
Format: Paperback
$116.41

 Read More >>

The CISO’s Next Frontier: AI, Post-Quantum Cryptography and Advanced Security Paradigms

The CISO’s Next Frontier: AI, Post-Quantum Cryptography...

Author: Raj Badhwar
ISBN: 9783030753535
Format: Hardback
$155.22

Advanced security topics such as secure remote work, data security, network security, application and device security,...  Read More >>

Statistical Learning with Math and Python: 100 Exercises for Building Logic

Statistical Learning with Math and Python: 100 Exercises...

Author: Joe Suzuki
ISBN: 9789811578762
Format: Paperback
$77.60

This textbook approaches the essence of machine learning and data science by considering math problems and building...  Read More >>

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Model Checking Software: 27th International Symposium,...

Author: Alfons Laarman ,  Ana Sokolova
ISBN: 9783030846282
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN...  Read More >>

Introduction to Inverse Problems for Differential Equations

Introduction to Inverse Problems for Differential Equations...

Author: Alemdar Hasanov Hasanoğlu ,  Vladimir G. Romanov
ISBN: 9783030794262
Format: Hardback
$448.77

This book presents a systematic exposition of the main ideas and methods in treating inverse problems for PDEs arising...  Read More >>

Iceberg Semantics for Mass Nouns and Count Nouns: A New Framework for Boolean Semantics

Iceberg Semantics for Mass Nouns and Count Nouns: A...

Author: Fred Landman
ISBN: 9783030427139
Format: Paperback
$290.37

Iceberg semantics is a new framework of Boolean semantics for mass nouns and count nouns in which the interpretation...  Read More >>

Algorithms and Data Structures: 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings

Algorithms and Data Structures: 17th International Symposium,...

Author: Anna Lubiw ,  Mohammad Salavatipour
ISBN: 9783030835071
Format: Paperback
$232.85

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures,...  Read More >>

Cluster Analysis and Applications

Cluster Analysis and Applications

Author: Rudolf Scitovski ,  Kristian Sabo
ISBN: 9783030745516
Format: Hardback
$142.29

With the development of Big Data platforms for managing massive amount of data and wide availability of tools for...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List