Mathematical theory of computation books

11051 books were found.

27th International Meshing Roundtable

27th International Meshing Roundtable

Author: Xevi Roca ,  Adrien Loseille
ISBN: 9783030139940
Format: Paperback
$232.85

 Read More >>

Towards a Scalable Quantum Computing Platform in the Ultrastrong Coupling Regime

Towards a Scalable Quantum Computing Platform in the...

Author: Thi Ha Kyaw
ISBN: 9783030196608
Format: Paperback
$310.47

 Read More >>

Broad Learning Through Fusions: An Application on Social Networks

Broad Learning Through Fusions: An Application on Social...

Author: Jiawei Zhang ,  Philip S. Yu
ISBN: 9783030125301
Format: Paperback
$116.41

This book offers a clear and comprehensive introduction to broad learning, one of the novel learning problems studied...  Read More >>

Making Smart Cities More Playable: Exploring Playable Cities

Making Smart Cities More Playable: Exploring Playable...

Author: Anton Nijholt
ISBN: 9789811397677
Format: Paperback
$475.17

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure...  Read More >>

Combinatorial and Additive Number Theory III: CANT, New York, USA, 2017 and 2018

Combinatorial and Additive Number Theory III: CANT,...

Author: Melvyn B. Nathanson
ISBN: 9783030311087
Format: Paperback
$369.57

Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University...  Read More >>

Heyting Algebras: Duality Theory

Heyting Algebras: Duality Theory

Author: Leo Esakia ,  Guram Bezhanishvili
ISBN: 9783030120986
Format: Paperback
$181.10

This book presents an English translation of a classic Russian text on duality theory for Heyting algebras.  Read More >>

An Introduction to Computational Origami

An Introduction to Computational Origami

Author: Tetsuo Ida
ISBN: 9783319591889
Format: Hardback
$527.97

In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically...  Read More >>

Linear Algebra for Computational Sciences and Engineering

Linear Algebra for Computational Sciences and Engineering...

Author: Ferrante Neri
ISBN: 9783030213237
Format: Paperback
$155.22

 Read More >>

Basiswissen Angewandte Mathematik – Numerik, Grafik, Kryptik: Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool

Basiswissen Angewandte Mathematik – Numerik, Grafik,...

Author: Burkhard Lenze
ISBN: 9783658300272
Format: Paperback
$105.57

Dieses Buch bietet eine schlanke und gut zugängliche Hinführung zur Angewandten Mathematik, speziell zur Numerischen...  Read More >>

Topics in Theoretical Computer Science: Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings

Topics in Theoretical Computer Science: Third IFIP WG...

Author: Luís S. Barbosa ,  Mohammad Ali Abam
ISBN: 9783030578510
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical...  Read More >>

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto,...

Author: Emil Sekerinski ,  Nelma Moreira
ISBN: 9783030549930
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal...  Read More >>

Neural Computing for Advanced Applications: First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings

Neural Computing for Advanced Applications: First International...

Author: Haijun Zhang ,  Zhao Zhang
ISBN: 9789811576690
Format: Paperback
$116.41

This book presents refereed proceedings of the First International Conference on Neural Computing for Advanced Applications,...  Read More >>

Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory...

Author: Toshiyasu Arai
ISBN: 9789811564581
Format: Hardback
$232.85

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

Modeling Decisions for Artificial Intelligence: 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings

Modeling Decisions for Artificial Intelligence: 17th...

Author: Vicenç Torra ,  Yasuo Narukawa
ISBN: 9783030575236
Format: Paperback
$116.41

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

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

Author: Reinhard Kahle ,  Michael Rathjen
ISBN: 9783030494230
Format: Hardback
$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 >>

Formalization of Complex Analysis and Matrix Theory

Formalization of Complex Analysis and Matrix Theory...

Author: Zhiping Shi ,  Yong Guan
ISBN: 9789811572609
Format: Hardback
$422.37

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

Algorithmic Aspects in Information and Management: 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings

Algorithmic Aspects in Information and Management: 14th...

Author: Zhao Zhang ,  Wei Li
ISBN: 9783030576011
Format: Paperback
$116.41

This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information...  Read More >>

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

NASA Formal Methods: 12th International Symposium, NFM...

Author: Ritchie Lee ,  Susmit Jha
ISBN: 9783030557539
Format: Paperback
$168.16

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held...  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: 9783030427108
Format: Hardback
$290.37

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

Structural Information and Communication Complexity: 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings

Structural Information and Communication Complexity:...

Author: Andrea Werneck Richa ,  Christian Scheideler
ISBN: 9783030549206
Format: Paperback
$116.41

This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List