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 >>

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 >>

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 >>

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 >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List