Mathematical theory of computation books

11059 books were found.

Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Computational Science – ICCS 2019: 19th International...
Author: João M. F. Rodrigues , Pedro J. S. Cardoso ISBN: 9783030227333 Format: Paperback	$263.97
The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International... Read More >>

Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Computational Science – ICCS 2019: 19th International...
Author: João M. F. Rodrigues , Pedro J. S. Cardoso ISBN: 9783030227432 Format: Paperback	$290.37
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International... Read More >>

Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Computational Science – ICCS 2019: 19th International...
Author: João M. F. Rodrigues , Pedro J. S. Cardoso ISBN: 9783030227463 Format: Paperback	$206.97
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International... Read More >>

Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Computational Science – ICCS 2019: 19th International...
Author: João M. F. Rodrigues , Pedro J. S. Cardoso ISBN: 9783030227401 Format: Paperback	$263.97
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International... Read More >>

Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Computational Science – ICCS 2019: 19th International...
Author: João M. F. Rodrigues , Pedro J. S. Cardoso ISBN: 9783030227494 Format: Paperback	$316.77
The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International... Read More >>

Space in Weak Propositional Proof Systems

Space in Weak Propositional Proof Systems
Author: Ilario Bonacina ISBN: 9783319892498 Format: Paperback	$145.17
Read More >>

The 9 Pitfalls of Data Science

The 9 Pitfalls of Data Science
Author: Gary Smith (Fletcher Jones Professor of Economics, Fletcher Jones Professor of Economics, Pomona College) , Jay Cordes (Data Scientist, Data Scientist) ISBN: 9780198844396 Format: Hardback	$94.42
Read More >>

Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference
Author: Melvin Fitting , Brian Rayman ISBN: 9783319886473 Format: Paperback	$316.77
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on... Read More >>

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security...
Author: Tevfik Bultan , Fang Yu ISBN: 9783319886374 Format: Paperback	$184.77
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string... Read More >>

Computational Diffusion MRI: International MICCAI Workshop, Granada, Spain, September 2018

Computational Diffusion MRI: International MICCAI Workshop,...
Author: Elisenda Bonet-Carne , Francesco Grussu ISBN: 9783030058302 Format: Hardback	$290.37
Read More >>

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry

Meaning and Proscription in Formal Logic: Variations...
Author: Thomas Macaulay Ferguson ISBN: 9783319889979 Format: Paperback	$145.17
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length... Read More >>

Carl Adam Petri: Ideas, Personality, Impact

Carl Adam Petri: Ideas, Personality, Impact
Author: Wolfgang Reisig , Grzegorz Rozenberg ISBN: 9783319961538 Format: Hardback	$131.97
Read More >>

Computer Networks: 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings

Computer Networks: 26th International Conference, CN...
Author: Piotr Gaj , Michał Sawicki ISBN: 9783030219512 Format: Paperback	$145.17
Read More >>

Scale Space and Variational Methods in Computer Vision: 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings

Scale Space and Variational Methods in Computer Vision:...
Author: Jan Lellmann , Martin Burger ISBN: 9783030223670 Format: Paperback	$145.17
This book constitutes the proceedings of the 7th International Conference on Scale Space and Variational Methods... Read More >>

Compressed Sensing and its Applications: Second International MATHEON Conference 2015

Compressed Sensing and its Applications: Second International...
Author: Holger Boche , Giuseppe Caire ISBN: 9783319888453 Format: Paperback	$290.37
Read More >>

Topological Data Analysis for Scientific Visualization

Topological Data Analysis for Scientific Visualization...
Author: Julien Tierny ISBN: 9783319890791 Format: Paperback	$422.37
Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction... Read More >>

Logical Form: Between Logic and Natural Language

Logical Form: Between Logic and Natural Language
Author: Andrea Iacona ISBN: 9783319892719 Format: Paperback	$263.97
Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two... Read More >>

Probability and Statistics for Computer Science

Probability and Statistics for Computer Science
Author: David Forsyth ISBN: 9783319877884 Format: Paperback	$145.17
This textbook is aimed at computer science undergraduates late in sophomore or early in junior year, supplying a... Read More >>

Advances in Computer Algebra: In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada

Advances in Computer Algebra: In Honour of Sergei Abramov's'...
Author: Carsten Schneider , Eugene Zima ISBN: 9783319892412 Format: Paperback	$290.37
This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear... Read More >>

An Introduction to the Technique of Formative Processes in Set Theory

An Introduction to the Technique of Formative Processes...
Author: Domenico Cantone , Pietro Ursino ISBN: 9783319892832 Format: Paperback	$145.17
Read More >>

Evolutionary Learning: Advances in Theories and Algorithms

Evolutionary Learning: Advances in Theories and Algorithms...
Author: Zhi-Hua Zhou, PhD , Yang Yu ISBN: 9789811359552 Format: Hardback	$310.47
In closing, Part IV addresses the development of evolutionary learning algorithms with provable theoretical guarantees... Read More >>

Finite Elements Using Maxima: Theory and Routines for Rods and Beams

Finite Elements Using Maxima: Theory and Routines for...
Author: Andreas Öchsner , Resam Makvandi ISBN: 9783030171988 Format: Hardback	$290.37
Read More >>

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That:...
Author: Carsten Lutz , Uli Sattler ISBN: 9783030221010 Format: Paperback	$145.17
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental... Read More >>

Mathematical Morphology and Its Applications to Signal and Image Processing: 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal...
Author: Bernhard Burgeth , Andreas Kleefeld ISBN: 9783030208660 Format: Paperback	$145.17
This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM... Read More >>

Artificial Life and Evolutionary Computation: 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Artificial Life and Evolutionary Computation: 13th Italian...
Author: Stefano Cagnoni , Monica Mordonini ISBN: 9783030217327 Format: Paperback	$171.57
Read More >>

Page 119 of 443 ... 114 115 116 117 118 119 120 121 122 123 ...

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