Mathematical theory of computation books

11059 books were found.

The Morris Canal: Across New Jersey by Water and Rail

The Morris Canal: Across New Jersey by Water and Rail...
Author: Robert R Goller ISBN: 9781540240460 Format: Hardback	$87.09
The Morris Canal was not the longest canal in the world, but it did have one superlative to its credit�it climbed... Read More >>

Proof Theory and Algebra in Logic

Proof Theory and Algebra in Logic
Author: Hiroakira Ono ISBN: 9789811379963 Format: Paperback	$118.77
Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic... Read More >>

Hands-On Neural Networks with TensorFlow 2.0: Understand TensorFlow, from static graph to eager execution, and design neural networks

Hands-On Neural Networks with TensorFlow 2.0: Understand...
Author: Paolo Galeone ISBN: 9781789615555 Format: Paperback	$80.19
This book is a guide to the TensorFlow (TF) framework, from the static graph architecture of TF 1.x to the eager... Read More >>

Industrial Networks and Intelligent Systems: 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings

Industrial Networks and Intelligent Systems: 5th EAI...
Author: Trung Quang Duong , Nguyen-Son Vo ISBN: 9783030301484 Format: Paperback	$116.41
Read More >>

Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Queueing Theory and Network Applications: 14th International...
Author: Tuan Phung-Duc , Shoji Kasahara ISBN: 9783030271800 Format: Paperback	$116.41
Read More >>

Quantum Correlations: A Modern Augmentation

Quantum Correlations: A Modern Augmentation
Author: Farid Shahandeh ISBN: 9783030241193 Format: Hardback	$290.37
However, when it comes to the exploitation of such correlations in the quantum world, identification of the associated... Read More >>

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related...
Author: Serenella Cerrito , Andrei Popescu ISBN: 9783030290252 Format: Paperback	$116.41
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic... Read More >>

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems: 12th International Symposium,...
Author: Andreas Herzig , Andrei Popescu ISBN: 9783030290061 Format: Paperback	$142.29
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS... Read More >>

Compressed Sensing and Its Applications: Third International MATHEON Conference 2017

Compressed Sensing and Its Applications: Third International...
Author: Holger Boche , Giuseppe Caire ISBN: 9783319730738 Format: Hardback	$284.60
Read More >>

An Invitation to Computational Homotopy

An Invitation to Computational Homotopy
Author: Graham Ellis (Professor of Mathematics, Professor of Mathematics, National University of Ireland, Galway) ISBN: 9780198832980 Format: Paperback	$134.95
Read More >>

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems: 17th...
Author: Etienne Andre , Marielle Stoelinga ISBN: 9783030296612 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis... Read More >>

An Invitation to Computational Homotopy

An Invitation to Computational Homotopy
Author: Graham Ellis (Professor of Mathematics, Professor of Mathematics, National University of Ireland, Galway) ISBN: 9780198832973 Format: Hardback	$294.95
Read More >>

Linear Algebra for Computational Sciences and Engineering

Linear Algebra for Computational Sciences and Engineering...
Author: Ferrante Neri ISBN: 9783030213206 Format: Hardback	$232.85
This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer... Read More >>

Combinatorics on Words: 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words: 12th International Conference,...
Author: Robert Mercaş , Daniel Reidenbach ISBN: 9783030287955 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS... Read More >>

Trustworthy Cyber-Physical Systems: A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

Trustworthy Cyber-Physical Systems: A Systematic Framework...
Author: Nazila Gol Mohammadi ISBN: 9783658274870 Format: Paperback	$116.41
Her research interests include software engineering, requirements engineering, digitalization, cloud computing,... Read More >>

Machine Learning: The Ultimate Beginners Guide to Efficiently Learn and Understand Machine Learning, Artificial Neural Network and Data Mining From Beginners to Expert Concepts

Machine Learning: The Ultimate Beginners Guide to Efficiently...
Author: Denny Novikov ISBN: 9781691631346 Format: Paperback	$39.57
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: 9783030257842 Format: Hardback	$232.85
Formal specifications are an important tool for the construction, verification and analysis of systems, since without... Read More >>

Text, Speech, and Dialogue: 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Text, Speech, and Dialogue: 22nd International Conference,...
Author: Kamil Ekštein ISBN: 9783030279462 Format: Paperback	$116.41
This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019,... Read More >>

Advances in Information Systems Development: Designing Digitalization

Advances in Information Systems Development: Designing...
Author: Bo Andersson , Björn Johansson ISBN: 9783030229924 Format: Paperback	$145.17
Read More >>

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Numerical Software Verification: 12th International...
Author: Majid Zamani , Damien Zufferey ISBN: 9783030284220 Format: Paperback	$116.41
Read More >>

Geometric Science of Information: 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings

Geometric Science of Information: 4th International...
Author: Frank Nielsen , Frédéric Barbaresco ISBN: 9783030269791 Format: Paperback	$219.91
This book constitutes the proceedings of the 4th International Conference on Geometric Science of Information, GSI... Read More >>

Algorithmic Aspects in Information and Management: 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

Algorithmic Aspects in Information and Management: 13th...
Author: Ding-Zhu Du , Lian Li ISBN: 9783030271947 Format: Paperback	$116.41
Read More >>

Parallel Computational Technologies: 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers

Parallel Computational Technologies: 13th International...
Author: Leonid Sokolinsky , Mikhail Zymbler ISBN: 9783030281625 Format: Paperback	$116.41
Read More >>

Making Smart Cities More Playable: Exploring Playable Cities

Making Smart Cities More Playable: Exploring Playable...
Author: Anton Nijholt ISBN: 9789811397646 Format: Hardback	$475.17
This book explores the ways in which the broad range of technologies that make up the smart city infrastructure... Read More >>

Hybrid Systems Biology: 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

Hybrid Systems Biology: 6th International Workshop,...
Author: Milan Češka , Nicola Paoletti ISBN: 9783030280413 Format: Paperback	$116.41
This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology,... Read More >>

Page 115 of 443 ... 110 111 112 113 114 115 116 117 118 119 ...

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