Mathematical theory of computation books

11051 books were found.

Nonlinear Circuits and Systems with Memristors: Nonlinear Dynamics and Analogue Computing via the Flux-Charge Analysis Method

Nonlinear Circuits and Systems with Memristors: Nonlinear...
Author: Fernando Corinto , Mauro Forti ISBN: 9783030556501 Format: Hardback	$422.37
This book presents a new approach to the study of physical nonlinear circuits and advanced computing architectures... Read More >>

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

Algorithms and Data Structures: Foundations and Probabilistic...
Author: Helmut Knebl ISBN: 9783030597573 Format: Hardback	$224.37
To distinguish this textbook from others, the author considers probabilistic methods as being fundamental for the... Read More >>

Device-Independent Quantum Information Processing: A Simplified Analysis

Device-Independent Quantum Information Processing: A...
Author: Rotem Arnon-Friedman ISBN: 9783030602307 Format: Hardback	$475.17
Device-independent quantum cryptography is a method for exchanging secret messages over potentially insecure quantum... Read More >>

Applications of Artificial Intelligence for Smart Technology

Applications of Artificial Intelligence for Smart Technology...
Author: P. Swarnalatha , S. Prabu ISBN: 9781799833369 Format: Paperback	$488.40
Presents research on the implementation of advanced technological techniques in professional industries through... Read More >>

Observability: A New Theory Based on the Group of Invariance

Observability: A New Theory Based on the Group of Invariance...
Author: Agostino Martinelli ISBN: 9781611976243 Format: Paperback	$201.00
Explores nonlinear observability. The book provides a modern theory of observability based on a new paradigm borrowed... Read More >>

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Logic, Language, and Security: Essays Dedicated to Andre...
Author: Vivek Nigam , Tajana Ban Kirigin ISBN: 9783030620769 Format: Paperback	$142.29
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical... Read More >>

Modern Computer Vision with PyTorch: Explore deep learning concepts and implement over 50 real-world image applications

Modern Computer Vision with PyTorch: Explore deep learning...
Author: V Kishore Ayyadevara , Yeshwanth Reddy ISBN: 9781839213472 Format: Paperback	$174.21
Read More >>

Serious Games: Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19–20, 2020, Proceedings

Serious Games: Joint International Conference, JCSG...
Author: Minhua Ma , Bobbie Fletcher ISBN: 9783030618131 Format: Paperback	$194.04
This book constitutes the refereed proceedings of the 6th Joint International Conference on Serious Games, JCSG... Read More >>

Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers

Algorithms for Sensor Systems: 16th International Symposium...
Author: Cristina M. Pinotti , Alfredo Navarra ISBN: 9783030624002 Format: Paperback	$116.41
This book constitutes revised selected papers from the 16th International Symposium on Algorithms and Experiments... Read More >>

Conceptual Modeling: 39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings

Conceptual Modeling: 39th International Conference,...
Author: Gillian Dobbie , Ulrich Frank ISBN: 9783030625214 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 39th International Conference on Conceptual Modeling, ER 2020,... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783030614690 Format: Paperback	$116.41
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium... Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification...
Author: Tiziana Margaria , Bernhard Steffen ISBN: 9783030614669 Format: Paperback	$116.41
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium... Read More >>

Open Semantic Technologies for Intelligent System: 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers

Open Semantic Technologies for Intelligent System: 10th...
Author: Vladimir Golenkov , Victor Krasnoproshin ISBN: 9783030604462 Format: Paperback	$116.41
Read More >>

Domain Decomposition Methods in Science and Engineering XXV

Domain Decomposition Methods in Science and Engineering...
Author: Ronald Haynes , Scott MacLachlan ISBN: 9783030567491 Format: Hardback	$448.77
These are the proceedings of the 25th International Conference on Domain Decomposition Methods in Science and Engineering,... Read More >>

Constructive Semantics: Meaning in Between Phenomenology and Constructivism

Constructive Semantics: Meaning in Between Phenomenology...
Author: Christina Weiss ISBN: 9783030213152 Format: Paperback	$343.17
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological... Read More >>

Artificial Mathematical Intelligence: Cognitive, (Meta)mathematical, Physical and Philosophical Foundations

Artificial Mathematical Intelligence: Cognitive, (Meta)mathematical,...
Author: Danny A. J. Gómez Ramírez ISBN: 9783030502720 Format: Hardback	$145.17
This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline,... Read More >>

Swarm Intelligence: 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings

Swarm Intelligence: 12th International Conference, ANTS...
Author: Marco Dorigo , Thomas Stützle ISBN: 9783030603755 Format: Paperback	$116.41
Read More >>

International Symposium on Mathematics, Quantum Theory, and Cryptography: Proceedings of MQC 2019

International Symposium on Mathematics, Quantum Theory,...
Author: Tsuyoshi Takagi , Masato Wakayama ISBN: 9789811551901 Format: Hardback	$158.37
This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and... Read More >>

Computational Science and its Applications

Computational Science and its Applications
Author: A. H. Siddiqi , R. C. Singh ISBN: 9780367256234 Format: Hardback	$305.00
Read More >>

Decidability of Logical Theories and Their Combination

Decidability of Logical Theories and Their Combination...
Author: João Rasga , Cristina Sernadas ISBN: 9783030565534 Format: Hardback	$142.29
Read More >>

Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2018

Theory and Applications of Time Series Analysis: Selected...
Author: Olga Valenzuela , Fernando Rojas ISBN: 9783030260385 Format: Paperback	$448.77
In turn, the last three parts are dedicated to applied topics and include papers on time series analysis in the... Read More >>

Web Information Systems Engineering – WISE 2020: 21st International Conference, Amsterdam, The Netherlands, October 20–24, 2020, Proceedings, Part I

Web Information Systems Engineering – WISE 2020: 21st...
Author: Zhisheng Huang , Wouter Beek ISBN: 9783030620042 Format: Paperback	$116.41
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering,... Read More >>

Computer Algebra in Scientific Computing: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings

Computer Algebra in Scientific Computing: 22nd International...
Author: François Boulier , Matthew England ISBN: 9783030600259 Format: Paperback	$232.85
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific... Read More >>

Cellular Automata and Discrete Complex Systems: 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

Cellular Automata and Discrete Complex Systems: 26th...
Author: Hector Zenil ISBN: 9783030615871 Format: Paperback	$116.41
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop... Read More >>

Arto Salomaa: Mathematician, Computer Scientist, and Teacher: A Thematic Biography

Arto Salomaa: Mathematician, Computer Scientist, and...
Author: Jukka Paakki ISBN: 9783030160517 Format: Paperback	$448.77
This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics.... Read More >>

Page 93 of 443 ... 88 89 90 91 92 93 94 95 96 97 ...

Sub Categories for

Mathematical theory of computation

Maths for computer scientists

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now