Mathematical theory of computation books

11045 books were found.

Engineering Mathematics and Computing

Engineering Mathematics and Computing
Author: Park Gyei-Kark , Dipak Kumar Jana ISBN: 9789811922992 Format: Hardback	$116.41
This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing... Read More >>

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Theoretical Aspects of Computing – ICTAC 2022: 19th...
Author: Helmut Seidl , Zhiming Liu ISBN: 9783031177149 Format: Paperback	$116.41
Read More >>

Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science: 48th...
Author: Michael A. Bekos , Michael Kaufmann ISBN: 9783031159138 Format: Paperback	$168.16
This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic... Read More >>

Mathematical Optimization Theory and Operations Research: Recent Trends: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers

Mathematical Optimization Theory and Operations Research:...
Author: Yury Kochetov , Anton Eremeev ISBN: 9783031162237 Format: Paperback	$116.41
Read More >>

Computational Diffusion MRI: International MICCAI Workshop, Lima, Peru, October 2020

Computational Diffusion MRI: International MICCAI Workshop,...
Author: Noemi Gyori , Jana Hutter ISBN: 9783030730208 Format: Paperback	$413.97
This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices... Read More >>

3D Deep Learning with Python: Design and develop your computer vision model with 3D data using PyTorch3D and more

3D Deep Learning with Python: Design and develop your...
Author: Xudong Ma , Vishakh Hegde ISBN: 9781803247823 Format: Paperback	$110.85
Read More >>

The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut

The Logical Approach to Automatic Sequences: Exploring...
Author: Jeffrey Shallit (University of Waterloo, Ontario) ISBN: 9781108745246 Format: Paperback	$188.89
Read More >>

Introduction to Quantum Computing

Introduction to Quantum Computing
Author: Ray LaPierre ISBN: 9783030693206 Format: Paperback	$116.41
It reviews the fundamentals of quantum mechanics from the double-slit experiment to entanglement, before progressing... Read More >>

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik
Author: André Schulz ISBN: 9783662651414 Format: Paperback	$105.57
Dieses Lehrbuch liefert eine verständliche, aber dennoch kompakte Einführung in die Theoretische Informatik. Die... Read More >>

Open Semantic Technologies for Intelligent Systems: 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16–18, 2021, Revised Selected Papers

Open Semantic Technologies for Intelligent Systems:...
Author: Vladimir Golenkov , Viktor Krasnoproshin ISBN: 9783031158810 Format: Paperback	$116.41
Read More >>

Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Numerical Geometry, Grid Generation and Scientific Computing:...
Author: Vladimir A. Garanzha , Lennard Kamenski ISBN: 9783030768003 Format: Paperback	$517.47
The focus of these conference proceedings is on research, development, and applications in the fields of numerical... Read More >>

Entanglement in Spin Chains: From Theory to Quantum Technology Applications

Entanglement in Spin Chains: From Theory to Quantum...
Author: Abolfazl Bayat , Sougato Bose ISBN: 9783031039973 Format: Hardback	$232.85
This book covers recent developments in the understanding, quantification, and exploitation of entanglement in spin... Read More >>

Introduction to Combinatorial Optimization

Introduction to Combinatorial Optimization
Author: Ding-Zhu Du , Panos M. Pardalos ISBN: 9783031105944 Format: Hardback	$116.41
Introductory courses in combinatorial optimization are popular at the upper undergraduate/graduate levels in computer... Read More >>

Corruption Networks: Concepts and Applications

Corruption Networks: Concepts and Applications
Author: Oscar M. Granados , José R. Nicolás-Carlock ISBN: 9783030814861 Format: Paperback	$206.97
Read More >>

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic...
Author: Ivo Düntsch , Edwin Mares ISBN: 9783030714321 Format: Paperback	$310.47
This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity... Read More >>

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Exploring Formalisation: A Primer in Human-Readable...
Author: Clara Löh ISBN: 9783031146480 Format: Paperback	$116.41
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.... Read More >>

Computer and Communication Engineering: 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers

Computer and Communication Engineering: 2nd International...
Author: Filippo Neri , Ke-Lin Du ISBN: 9783031174216 Format: Paperback	$116.41
Read More >>

Systematic Innovation Partnerships with Artificial Intelligence and Information Technology: 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27–29, 2022, Proceedings

Systematic Innovation Partnerships with Artificial Intelligence...
Author: Robert Nowak , Jerzy Chrząszcz ISBN: 9783031172878 Format: Hardback	$232.85
This book constitutes the refereed proceedings of the 22nd International TRIZ Future Conference on Automated Invention... Read More >>

Petri Nets for Modeling of Large Discrete Systems

Petri Nets for Modeling of Large Discrete Systems
Author: Reggie Davidrajuh ISBN: 9789811652059 Format: Paperback	$336.35
Read More >>

Explainable and Transparent AI and Multi-Agent Systems: 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers

Explainable and Transparent AI and Multi-Agent Systems:...
Author: Davide Calvaresi , Amro Najjar ISBN: 9783031155642 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent... Read More >>

Particles, Fields and Forces: A Conceptual Guide to Quantum Field Theory and the Standard Model

Particles, Fields and Forces: A Conceptual Guide to...
Author: Wouter Schmitz ISBN: 9783030987527 Format: Paperback	$129.35
Read More >>

Confidential Computing: Hardware Based Memory Protection

Confidential Computing: Hardware Based Memory Protection...
Author: Vicente Garcia Diaz , Gloria Jeanette Rincón Aponte ISBN: 9789811930447 Format: Hardback	$258.72
Read More >>

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

Mathematics of Program Construction: 14th International...
Author: Ekaterina Komendantskaya ISBN: 9783031169113 Format: Paperback	$129.35
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction,... Read More >>

Graph-Based Representation and Reasoning: 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings

Graph-Based Representation and Reasoning: 27th International...
Author: Tanya Braun , Diana Cristea ISBN: 9783031166624 Format: Paperback	$129.35
This book constitutes the proceedings of the 27th International Conference on Conceptual Structures, ICCS 2022,... Read More >>

Algorithmic Aspects in Information and Management: 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings

Algorithmic Aspects in Information and Management: 16th...
Author: Qiufen Ni , Weili Wu ISBN: 9783031160806 Format: Paperback	$116.41
Read More >>

Page 60 of 442 ... 55 56 57 58 59 60 61 62 63 64 ...

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