Mathematical theory of computation books

11059 books were found.

Evolutionary Computation in Combinatorial Optimization: 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

Evolutionary Computation in Combinatorial Optimization:...
Author: Arnaud Liefooghe , Manuel López-Ibáñez ISBN: 9783319774480 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 18th European Conference on Evolutionary Computation in Combinatorial... Read More >>

Probabilistic Cellular Automata: Theory, Applications and Future Perspectives

Probabilistic Cellular Automata: Theory, Applications...
Author: Pierre-Yves Louis , Francesca R. Nardi ISBN: 9783319655567 Format: Hardback	$448.77
This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability... Read More >>

Fundamentals and Applications of Hardcopy Communication: Conveying Side Information by Printed Media

Fundamentals and Applications of Hardcopy Communication:...
Author: Joceli Mayer , Paulo V.K. Borges ISBN: 9783319740829 Format: Hardback	$145.17
Basic and advanced techniques are discussed aimed to modulate information into images, texts and barcodes.Conveying... Read More >>

Number-Theoretic Methods in Cryptology: First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

Number-Theoretic Methods in Cryptology: First International...
Author: Jerzy Kaczorowski , Josef Pieprzyk ISBN: 9783319766195 Format: Paperback	$116.41
This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic... Read More >>

Practical Python AI Projects: Mathematical Models of Optimization Problems with Google OR-Tools

Practical Python AI Projects: Mathematical Models of...
Author: Serge Kruk ISBN: 9781484234228 Format: Paperback	$145.17
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: 9783319732312 Format: Hardback	$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: 9783319747774 Format: Hardback	$145.17
Read More >>

Artificial Intelligence: 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers

Artificial Intelligence: 29th Benelux Conference, BNAIC...
Author: Bart Verheij , Marco Wiering ISBN: 9783319768915 Format: Paperback	$145.17
Read More >>

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems: A Formal Methods...
Author: Peter Csaba Olveczky ISBN: 9781447166863 Format: Paperback	$155.22
Read More >>

Current Trends in Web Engineering: ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Current Trends in Web Engineering: ICWE 2017 International...
Author: Irene Garrigós , Manuel Wimmer ISBN: 9783319744322 Format: Paperback	$145.17
This book constitutes the refereed thoroughly refereed post-workshop proceedings of the 17th International Conference... Read More >>

Broad Scale Coastal Simulation: New Techniques to Understand and Manage Shorelines in the Third Millennium

Broad Scale Coastal Simulation: New Techniques to Understand...
Author: Robert J. Nicholls , Richard J. Dawson ISBN: 9789402404272 Format: Paperback	$290.37
Read More >>

Cloud-Föderationen: SLA-basierte VM-Scheduling-Verfahren

Cloud-Föderationen: SLA-basierte VM-Scheduling-Verfahren...
Author: Andreas Kohne ISBN: 9783658209728 Format: Paperback	$171.57
Andreas Kohne liefert einen fundierten Einblick in die Grundlagen des Cloud Computings, der Cloud-Föderationen und... Read More >>

Probability and Statistics for Computer Science

Probability and Statistics for Computer Science
Author: David Forsyth ISBN: 9783319644097 Format: Hardback	$142.29
Read More >>

Information and Communication Technologies in Education, Research, and Industrial Applications: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Information and Communication Technologies in Education,...
Author: Nick Bassiliades , Vadim Ermolayev ISBN: 9783319761671 Format: Paperback	$145.17
This book contains extended versions of the best papers presented at the 13th International Conference on Information... Read More >>

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

Mobile Agent-Based Anomaly Detection and Verification...
Author: Muhammad Usman , Vallipuram Muthukkumarasamy ISBN: 9789811074660 Format: Hardback	$145.17
This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification... Read More >>

Lectures on Runtime Verification: Introductory and Advanced Topics

Lectures on Runtime Verification: Introductory and Advanced...
Author: Ezio Bartocci , Yliès Falcone ISBN: 9783319756318 Format: Paperback	$184.77
The idea of this volume originated from the need to have a book for students to support their training with several... Read More >>

Logical Form: Between Logic and Natural Language

Logical Form: Between Logic and Natural Language
Author: Andrea Iacona ISBN: 9783319741536 Format: Hardback	$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 >>

Integrated Uncertainty in Knowledge Modelling and Decision Making: 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision...
Author: Van-Nam Huynh , Masahiro Inuiguchi ISBN: 9783319754284 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 6th International Symposium on Integrated Uncertainty in Knowledge... Read More >>

WALCOM: Algorithms and Computation: 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

WALCOM: Algorithms and Computation: 12th International...
Author: M. Sohel Rahman , Wing-Kin Sung ISBN: 9783319751719 Format: Paperback	$145.17
The papers cover diverse areas of algorithms and computation, such as approximation algorithms, computational geometry,... 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: 9783319708201 Format: Hardback	$145.17
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length... Read More >>

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security...
Author: Tevfik Bultan , Muath Alkhalaf ISBN: 9783319686684 Format: Hardback	$263.97
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string... Read More >>

Topological Data Analysis for Scientific Visualization

Topological Data Analysis for Scientific Visualization...
Author: Julien Tierny ISBN: 9783319715063 Format: Hardback	$422.37
Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction... 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: 9783319698014 Format: Hardback	$290.37
Read More >>

Algorithmen für Ingenieure: Technische Realisierung mit Excel und VBA

Algorithmen für Ingenieure: Technische Realisierung...
Author: Harald Nahrstedt ISBN: 9783658192983 Format: Paperback	$171.57
Durch die Unterschiedlichkeit der vielen Aufgaben und Algorithmen ist das Buch auch ein gutes Nachschlagewerk für... Read More >>

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Measurement, Modelling and Evaluation of Computing Systems:...
Author: Dr. Reinhard German , Kai-Steffen Hielscher ISBN: 9783319749464 Format: Paperback	$116.41
This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and... Read More >>

Page 150 of 443 ... 145 146 147 148 149 150 151 152 153 154 ...

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