Mathematical theory of computation books

11061 books were found.

Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I

Computer Analysis of Images and Patterns: 17th International...
Author: Michael Felsberg , Anders Heyden ISBN: 9783319646886 Format: Paperback	$155.22
The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference... Read More >>

Finite and Profinite Quantum Systems

Finite and Profinite Quantum Systems
Author: Apostolos Vourdas ISBN: 9783319594941 Format: Hardback	$237.57
This monograph provides an introduction to finite quantum systems, a field at the interface between quantum information... Read More >>

Improving Service Level Engineering: An Intuitionistic Fuzzy Approach

Improving Service Level Engineering: An Intuitionistic...
Author: Roland Schütze ISBN: 9783319597157 Format: Hardback	$290.37
This book examines how fuzzy methods can be employed to manage service levels in business and IT alignment. It starts... Read More >>

Applications of Computer Algebra: Kalamata, Greece, July 20–23 2015

Applications of Computer Algebra: Kalamata, Greece,...
Author: Ilias S. Kotsireas , Edgar Martínez-Moro ISBN: 9783319569307 Format: Hardback	$448.77
The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential... Read More >>

Microcomputer Algorithms: Action from Algebra

Microcomputer Algorithms: Action from Algebra
Author: John Killingbeck ISBN: 9781138402249 Format: Hardback	$252.00
Stresses the mathematical basis behind the use of many algorithms of computational mathematics, providing descriptions... Read More >>

Paradoxes in Scientific Inference

Paradoxes in Scientific Inference
Author: Mark Chang ISBN: 9781138440180 Format: Hardback	$399.00
Read More >>

Artificial Superintelligence: A Futuristic Approach

Artificial Superintelligence: A Futuristic Approach...
Author: Roman V. Yampolskiy ISBN: 9781138435773 Format: Hardback	$368.00
Read More >>

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th...
Author: Manuel V Hermenegildo , Pedro Lopez-Garcia ISBN: 9783319631387 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on... Read More >>

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools: Essays Dedicated...
Author: Luca Aceto , Giorgio Bacci ISBN: 9783319631202 Format: Paperback	$116.41
Read More >>

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems: 15th...
Author: Alessandro Abate , Gilles Geeraerts ISBN: 9783319657646 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis... Read More >>

An Introduction to Distance Geometry applied to Molecular Geometry

An Introduction to Distance Geometry applied to Molecular...
Author: Carlile Lavor , Leo Liberti ISBN: 9783319571829 Format: Paperback	$145.17
This book is a pedagogical presentation aimed at advanced undergraduate students, beginning graduate students and... Read More >>

The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge

The Theory of Info-Statics: Conceptual Foundations of...
Author: Kofi Kissi Dompere ISBN: 9783319616384 Format: Hardback	$290.37
This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information.... Read More >>

Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Inductive Logic Programming: 26th International Conference,...
Author: James Cussens , Alessandra Russo ISBN: 9783319633411 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Conference on... Read More >>

Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence: 10th International...
Author: Tom Everitt , Ben Goertzel ISBN: 9783319637020 Format: Paperback	$129.35
This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI... Read More >>

Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology: Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers

Paradigms in Cryptology – Mycrypt 2016. Malicious and...
Author: Raphaël C.-W. Phan , Moti Yung ISBN: 9783319612720 Format: Paperback	$116.41
This book constitutes the refereed post-conference proceedings of the Second International Conference on Cryptology... Read More >>

High Performance Computing for Computational Science – VECPAR 2016: 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science...
Author: Ines de Castro Dutra , Rui Camacho ISBN: 9783319619811 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference... Read More >>

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification: 29th International Conference,...
Author: Rupak Majumdar , Viktor Kuncak ISBN: 9783319633862 Format: Paperback	$116.41
Read More >>

Deep Learning Innovations and Their Convergence With Big Data

Deep Learning Innovations and Their Convergence With...
Author: S. Karthik , Anand Paul ISBN: 9781522530152 Format: Hardback	$490.95
Presents the latest scholarly research on upcoming trends in data analytics and potential technologies that will... Read More >>

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Automated Deduction – CADE 26: 26th International Conference...
Author: Leonardo de Moura ISBN: 9783319630458 Format: Paperback	$181.10
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held... Read More >>

Full-Duplex Wireless Communications Systems: Self-Interference Cancellation

Full-Duplex Wireless Communications Systems: Self-Interference...
Author: Tho Le-Ngoc , Ahmed Masmoudi ISBN: 9783319576893 Format: Hardback	$343.17
The authors rely on estimation theory and signal processing to develop SI-cancellation algorithms by generating... Read More >>

New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

New Frontiers in Artificial Intelligence: JSAI-isAI...
Author: Setsuya Kurahashi , Yuiko Ohta ISBN: 9783319615714 Format: Paperback	$116.41
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS... Read More >>

Description Logics in Multimedia Reasoning

Description Logics in Multimedia Reasoning
Author: Leslie F. Sikos ISBN: 9783319540658 Format: Hardback	$316.77
It draws attention to the importance of formal grounding in the knowledge representation of multimedia objects,... Read More >>

Finite Difference Computing with PDEs: A Modern Software Approach

Finite Difference Computing with PDEs: A Modern Software...
Author: Hans Petter Langtangen , Svein Linge ISBN: 9783319554556 Format: Hardback	$158.37
This book is open access under a CC BY 4.0 license. This easy-to-read book introduces the basics of solving partial... Read More >>

New Trends and Advanced Methods in Interdisciplinary Mathematical Sciences

New Trends and Advanced Methods in Interdisciplinary...
Author: Bourama Toni ISBN: 9783319556116 Format: Hardback	$448.77
The latest of five multidisciplinary volumes, this book spans the STEAM-H (Science, Technology, Engineering, Agriculture,... Read More >>

Twenty-First Century Quantum Mechanics: Hilbert Space to Quantum Computers: Mathematical Methods and Conceptual Foundations

Twenty-First Century Quantum Mechanics: Hilbert Space...
Author: Guido Fano , S M Blinder ISBN: 9783319587318 Format: Hardback	$184.77
Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable,... Read More >>

Page 157 of 443 ... 152 153 154 155 156 157 158 159 160 161 ...

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