Mathematical theory of computation books

11059 books were found.

Description Logics in Multimedia Reasoning

Description Logics in Multimedia Reasoning
Author: Leslie F. Sikos ISBN: 9783319853086 Format: Paperback	$316.77
Read More >>

New Trends and Advanced Methods in Interdisciplinary Mathematical Sciences

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

Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings

Structural, Syntactic, and Statistical Pattern Recognition:...
Author: Xiao Bai , Edwin R. Hancock ISBN: 9783319977843 Format: Paperback	$145.17
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical... 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: 9783319856667 Format: Paperback	$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 >>

Machine Learning Algorithms: Popular algorithms for data science and machine learning, 2nd Edition

Machine Learning Algorithms: Popular algorithms for...
Author: Giuseppe Bonaccorso ISBN: 9781789347999 Format: Paperback	$145.17
Machine learning explores the study and construction of algorithms that can learn from and make predictions on data.... Read More >>

Applied Scientific Computing: With Python

Applied Scientific Computing: With Python
Author: Peter R. Turner , Thomas Arildsen ISBN: 9783319895741 Format: Hardback	$145.17
This easy-to-understand textbook presents a modern approach to learning numerical methods (or scientific computing),... Read More >>

Math Toolkit for Real-Time Programming

Math Toolkit for Real-Time Programming
Author: Jack Crenshaw ISBN: 9781138412477 Format: Hardback	$378.00
Helps you learn how to do big math on small machines with fast and accurate library functions, numerical integration... Read More >>

Mathematical Modelling in Solid Mechanics

Mathematical Modelling in Solid Mechanics
Author: Francesco dell'Isola , Mircea Sofonea ISBN: 9789811099618 Format: Paperback	$527.97
Read More >>

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Proof And Computation: Digitization In Mathematics,...
Author: Klaus Mainzer (Technical University Of Munich, Germany) , Peter Michael Schuster (Univ Degli Studi Di Verona, Italy) ISBN: 9789813270930 Format: Hardback	$258.75
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer... Read More >>

Introduction to Morphogenetic Computing

Introduction to Morphogenetic Computing
Author: Germano Resconi , Xiaolin Xu ISBN: 9783319862088 Format: Paperback	$290.37
Read More >>

The Incomputable: Journeys Beyond the Turing Barrier

The Incomputable: Journeys Beyond the Turing Barrier...
Author: S. Barry Cooper , Mariya I. Soskova ISBN: 9783319828817 Format: Paperback	$369.57
Read More >>

Fading and Shadowing in Wireless Systems

Fading and Shadowing in Wireless Systems
Author: P. Mohana Shankar ISBN: 9783319850870 Format: Paperback	$475.17
This book offers a comprehensive overview of fading and shadowing in wireless channels. Newer models for fading,... Read More >>

Electrical Circuits in Biomedical Engineering: Problems with Solutions

Electrical Circuits in Biomedical Engineering: Problems...
Author: Ali Ümit Keskin ISBN: 9783319855677 Format: Paperback	$343.17
This book presents a comprehensive and in-depth analysis of electrical circuit theory in biomedical engineering,... Read More >>

From Animals to Animats 15: 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

From Animals to Animats 15: 15th International Conference...
Author: Poramate Manoonpong , Jørgen Christian Larsen ISBN: 9783319976273 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior,... Read More >>

Recent Advances in Applications of Computational and Fuzzy Mathematics

Recent Advances in Applications of Computational and...
Author: Snehashish Chakraverty , Sanjeewa Perera ISBN: 9789811311529 Format: Hardback	$290.37
It consists of seven chapters covering various aspects of fuzzy uncertainty in application problems, such as shallow... Read More >>

System Modeling and Optimization: 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers

System Modeling and Optimization: 27th IFIP TC 7 Conference,...
Author: Lorena Bociu , Jean-Antoine Désidéri ISBN: 9783319857497 Format: Paperback	$290.37
Read More >>

Tutorials on the Foundations of Cryptography: Dedicated to Oded Goldreich

Tutorials on the Foundations of Cryptography: Dedicated...
Author: Yehuda Lindell ISBN: 9783319860640 Format: Paperback	$184.77
Read More >>

Übungsbuch Automaten und formale Sprachen: 117 Aufgaben und Lösungen

Übungsbuch Automaten und formale Sprachen: 117 Aufgaben...
Author: Stefan O. Knapp ISBN: 9783658226954 Format: Paperback	$118.77
Read More >>

Computational Artifacts: Towards a Philosophy of Computer Science

Computational Artifacts: Towards a Philosophy of Computer...
Author: Raymond Turner ISBN: 9783662555644 Format: Hardback	$527.97
The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice... Read More >>

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification: 30th International Conference,...
Author: Hana Chockler , Georg Weissenbacher ISBN: 9783319961415 Format: Paperback	$116.41
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International... Read More >>

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification: 30th International Conference,...
Author: Hana Chockler , Georg Weissenbacher ISBN: 9783319961446 Format: Paperback	$116.41
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International... Read More >>

Geometric and Numerical Foundations of Movements

Geometric and Numerical Foundations of Movements
Author: Jean-Paul Laumond , Nicolas Mansard ISBN: 9783319846804 Format: Paperback	$448.77
Read More >>

Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools

Software Project Management for Distributed Computing:...
Author: Zaigham Mahmood ISBN: 9783319853703 Format: Paperback	$290.37
Read More >>

A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry

A Geometric Algebra Invitation to Space-Time Physics,...
Author: Carlile Lavor , Sebastià Xambó-Descamps ISBN: 9783319906645 Format: Paperback	$184.77
This book offers a gentle introduction to key elements of Geometric Algebra, along with their applications in Physics,... Read More >>

Rohit Parikh on Logic, Language and Society

Rohit Parikh on Logic, Language and Society
Author: Can Başkent , Lawrence S. Moss ISBN: 9783319838380 Format: Paperback	$316.77
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s... Read More >>

Page 138 of 443 ... 133 134 135 136 137 138 139 140 141 142 ...

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