Mathematical theory of computation books

11059 books were found.

Acta Numerica 2019: Volume 28

Acta Numerica 2019: Volume 28
Author: Arieh Iserles (University of Cambridge) ISBN: 9781108478687 Format: Hardback	$432.11
Read More >>

Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering: 6th Workshop...
Author: Juan Carlos Figueroa-García , Mario Duarte-González ISBN: 9783030310189 Format: Paperback	$232.85
Read More >>

Reasoning Web. Explainable Artificial Intelligence: 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

Reasoning Web. Explainable Artificial Intelligence:...
Author: Markus Krötzsch , Daria Stepanova ISBN: 9783030314224 Format: Paperback	$129.35
This volume contains lecture notes of the 15th Reasoning Web Summer School (RW 2019), held in Bolzano, Italy, in... Read More >>

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Testing Software and Systems: 31st IFIP WG 6.1 International...
Author: Christophe Gaston , Nikolai Kosmatov ISBN: 9783030312794 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software... Read More >>

Diophantine Equations and Power Integral Bases: Theory and Algorithms

Diophantine Equations and Power Integral Bases: Theory...
Author: István Gaál ISBN: 9783030238643 Format: Hardback	$422.37
This monograph outlines the structure of index form equations, and makes clear their relationship to other classical... Read More >>

Reinforcement Learning Algorithms with Python: Learn, understand, and develop smart algorithms for addressing AI challenges

Reinforcement Learning Algorithms with Python: Learn,...
Author: Andrea Lonza ISBN: 9781789131116 Format: Paperback	$102.93
Read More >>

Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Computational Methods in Systems Biology: 17th International...
Author: Luca Bortolussi , Guido Sanguinetti ISBN: 9783030313036 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in... Read More >>

Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction: 7th International...
Author: Patrick Blackburn , Emiliano Lorini ISBN: 9783662602911 Format: Paperback	$116.41
Read More >>

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years: Third World Congress,...
Author: Maurice H. ter Beek , Annabelle McIver ISBN: 9783030309411 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto,... Read More >>

Statistical Language and Speech Processing: 7th International Conference, SLSP 2019, Ljubljana, Slovenia, October 14–16, 2019, Proceedings

Statistical Language and Speech Processing: 7th International...
Author: Carlos Martín-Vide , Matthew Purver ISBN: 9783030313715 Format: Paperback	$155.22
This book constitutes the proceedings of the 7th International Conference on Statistical Language and Speech Processing,... Read More >>

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning: Third International Joint Conference,...
Author: Paul Fodor , Marco Montali ISBN: 9783030310943 Format: Paperback	$116.41
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019,... Read More >>

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software: 26th International Symposium,...
Author: Fabrizio Biondi , Thomas Given-Wilson ISBN: 9783030309220 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN... Read More >>

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools,...
Author: Maurice H. ter Beek , Alessandro Fantechi ISBN: 9783030309848 Format: Paperback	$116.41
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections... Read More >>

Artificial Intelligence: 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Artificial Intelligence: 17th Russian Conference, RCAI...
Author: Sergei O. Kuznetsov , Aleksandr I. Panov ISBN: 9783030307622 Format: Paperback	$116.41
Read More >>

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming: 7th International...
Author: Pedro Ribeiro , Augusto Sampaio ISBN: 9783030310370 Format: Paperback	$116.41
Read More >>

Shit I Can't Remember: Internet Adrress Book To Organize All Your Passwords And Shits

Shit I Can't Remember: Internet Adrress Book To Organize...
Author: Muun Klam Press ISBN: 9781699699997 Format: Paperback	$19.11
"Are You One Of This Who Constantly Change Password? Here is the perfect companion for you. We sometimes forget... Read More >>

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Flexible Query Answering Systems: 13th International...
Author: Alfredo Cuzzocrea , Sergio Greco ISBN: 9783030276287 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 13th International Conference on Flexible Query Answering... Read More >>

Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Graph-Theoretic Concepts in Computer Science: 45th International...
Author: Ignasi Sau , Dimitrios M. Thilikos ISBN: 9783030307851 Format: Paperback	$155.22
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer... Read More >>

Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Computational Logistics: 10th International Conference,...
Author: Carlos Paternina-Arboleda , Stefan Voß ISBN: 9783030311391 Format: Paperback	$116.41
This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019,... Read More >>

Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings

Internet of Things, Smart Spaces, and Next Generation...
Author: Olga Galinina , Sergey Andreev ISBN: 9783030308582 Format: Paperback	$116.41
This book constitutes the joint refereed proceedings of the 19th International Conference on Next Generation Teletraffic... Read More >>

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey...
Author: Mário S. Alvim , Kostas Chatzikokolakis ISBN: 9783030311742 Format: Paperback	$116.41
This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features... Read More >>

Computing Possible Futures

Computing Possible Futures
Author: William B. Rouse (Research Professor, McCourt School of Public Policy, Professor, Stevens Institute of Technology) ISBN: 9780198846420 Format: Hardback	$93.95
Computing Possible Futures provides an easy to digest tour of modeling, simulation, analytics, and AI and how these... Read More >>

Statistisches und maschinelles Lernen: Gängige Verfahren im Überblick

Statistisches und maschinelles Lernen: Gängige Verfahren...
Author: Stefan Richter ISBN: 9783662593530 Format: Paperback	$100.29
Dieses Buch verschafft Ihnen einen Überblick über einige der bekanntesten Verfahren des maschinellen Lernens aus... Read More >>

Mathematical Methods in Physics and Engineering with Mathematica

Mathematical Methods in Physics and Engineering with...
Author: Ferdinand F. Cap ISBN: 9780367395186 Format: Paperback	$135.00
Demonstrates how to use Mathematica 4.x to solve difficult problems involving ordinary and partial differential... Read More >>

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs: 13th International Conference, TAP...
Author: Dirk Beyer, Ph. D. , Chantal Keller ISBN: 9783030311568 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019,... Read More >>

Page 113 of 443 ... 108 109 110 111 112 113 114 115 116 117 ...

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