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 >>

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 >>

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 >>

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 >>

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 >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List