Mathematical theory of computation books

11069 books were found.

Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems...
Author: Roberto Gorrieri , Cristian Versari ISBN: 9783319214900 Format: Hardback	$145.17
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic... Read More >>

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing: Volume II: Non-Periodic Splines

Spline and Spline Wavelet Methods with Applications...
Author: Amir Z. Averbuch , Pekka Neittaanmäki ISBN: 9783319223025 Format: Hardback	$290.37
Read More >>

Computer Algebra in Scientific Computing: 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

Computer Algebra in Scientific Computing: 17th International...
Author: Vladimir P. Gerdt , Wolfram Koepf ISBN: 9783319240206 Format: Paperback	$116.41
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing,... Read More >>

Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Combinatorics on Words: 10th International Conference,...
Author: Florin Manea , Dirk Nowotka ISBN: 9783319236599 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 10th International Conference on Combinatorics on Words, WORDS... Read More >>

Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning: 13th International...
Author: Francesco Calimeri , Giovambattista Ianni ISBN: 9783319232638 Format: Paperback	$116.41
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic... Read More >>

New Frontiers in Artificial Intelligence: JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

New Frontiers in Artificial Intelligence: JSAI-isAI...
Author: Tsuyoshi Murata , Koji Mineshima ISBN: 9783662481189 Format: Paperback	$116.41
Read More >>

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Model Checking Software: 22nd International Symposium,...
Author: Bernd Fischer , Jaco Geldenhuys ISBN: 9783319234038 Format: Paperback	$116.41
Read More >>

Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Correct System Design: Symposium in Honor of Ernst-Rüdiger...
Author: Roland Meyer , André Platzer ISBN: 9783319235059 Format: Paperback	$103.47
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. After a laudatio... Read More >>

Goal-based Reasoning for Argumentation

Goal-based Reasoning for Argumentation
Author: Douglas Walton (University of Windsor, Ontario) ISBN: 9781107545090 Format: Paperback	$93.15
Read More >>

Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

Ernst Zermelo - Collected Works/Gesammelte Werke II:...
Author: Ernst Zermelo , Heinz-Dieter Ebbinghaus ISBN: 9783642432316 Format: Paperback	$580.77
However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition... Read More >>

Web Information Retrieval

Web Information Retrieval
Author: Stefano Ceri , Alessandro Bozzon ISBN: 9783642431180 Format: Paperback	$184.77
Read More >>

Physical Implementation of Quantum Walks

Physical Implementation of Quantum Walks
Author: Kia Manouchehri , Jingbo Wang ISBN: 9783642447099 Format: Paperback	$369.57
Given the extensive application of random walks in virtually every science related discipline, we may be at the... Read More >>

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving: 6th International Conference,...
Author: Christian Urban , Xingyuan Zhang ISBN: 9783319221014 Format: Paperback	$116.41
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015,... Read More >>

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated...
Author: Lev D. Beklemishev , Andreas Blass ISBN: 9783319235332 Format: Paperback	$116.41
Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including... Read More >>

Handbook of Human Centric Visualization

Handbook of Human Centric Visualization
Author: Weidong Huang ISBN: 9781489999207 Format: Paperback	$211.17
Read More >>

Regression Modeling Strategies: With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis

Regression Modeling Strategies: With Applications to...
Author: Frank E. Harrell , Jr. ISBN: 9783319194240 Format: Hardback	$284.60
Most of the methods in this text apply to all regression models, but special emphasis is given to multiple regression... Read More >>

Goal-based Reasoning for Argumentation

Goal-based Reasoning for Argumentation
Author: Douglas Walton (University of Windsor, Ontario) ISBN: 9781107119048 Format: Hardback	$206.97
Read More >>

Refinement in Z and Object-Z: Foundations and Advanced Applications

Refinement in Z and Object-Z: Foundations and Advanced...
Author: John Derrick , Eerke A. Boiten ISBN: 9781447161677 Format: Paperback	$290.37
This book covers data refinement and its application to Z; generalisations of refinement that change the interface... Read More >>

Condition: The Geometry of Numerical Algorithms

Condition: The Geometry of Numerical Algorithms
Author: Peter Bürgisser , Felipe Cucker ISBN: 9783642440120 Format: Paperback	$422.37
The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level... Read More >>

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Logic, Rewriting, and Concurrency: Essays Dedicated...
Author: Narciso Martí-Oliet , Peter Csaba Ölveczky ISBN: 9783319231648 Format: Paperback	$116.41
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers... Read More >>

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods: 13th International...
Author: Radu Calinescu , Bernhard Rumpe ISBN: 9783319229683 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and... Read More >>

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Mathematical Foundations of Computer Science 2015: 40th...
Author: Giuseppe F Italiano , Giovanni Pighizzini ISBN: 9783662480564 Format: Paperback	$145.17
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International... Read More >>

Fundamentals of Matrix-Analytic Methods

Fundamentals of Matrix-Analytic Methods
Author: Qi-Ming He ISBN: 9781489990020 Format: Paperback	$145.17
Read More >>

Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability...
Author: Justyna Petke ISBN: 9783319218090 Format: Hardback	$145.17
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction... Read More >>

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Mathematical Foundations of Computer Science 2015: 40th...
Author: Giuseppe F. Italiano , Giovanni Pighizzini ISBN: 9783662480533 Format: Paperback	$116.41
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International... Read More >>

Page 190 of 443 ... 185 186 187 188 189 190 191 192 193 194 ...

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