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

Problem-Based Learning: A Didactic Strategy in the Teaching of System Simulation

Problem-Based Learning: A Didactic Strategy in the Teaching...
Author: Lorenzo Cevallos-Torres , Miguel Botto-Tobar ISBN: 9783030133955 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 >>

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Representation Theorems in Computer Science: A Treatment...
Author: Özgür Lütfü Özçep ISBN: 9783030257873 Format: Paperback	$232.85
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 >>

Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 18–20, 2020, Proceedings

Ontologies and Concepts in Mind and Machine: 25th International...
Author: Mehwish Alam , Tanya Braun ISBN: 9783030578541 Format: Paperback	$116.41
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 >>

Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Frontiers in Software Engineering Education: First International...
Author: Jean-Michel Bruel , Alfredo Capozucca ISBN: 9783030576622 Format: Paperback	$116.41
Read More >>

The Discrete Math Workbook: A Companion Manual Using Python

The Discrete Math Workbook: A Companion Manual Using...
Author: Sergei Kurgalin , Sergei Borzunov ISBN: 9783030422202 Format: Hardback	$181.10
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 >>

Page 98 of 443 ... 93 94 95 96 97 98 99 100 101 102 ...

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