Mathematical theory of computation books

11069 books were found.

Human Aspects of Information Security, Privacy, and Trust: Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings

Human Aspects of Information Security, Privacy, and...
Author: Theo Tryfonas , Ioannis Askoxylakis ISBN: 9783319203751 Format: Paperback	$116.41
Read More >>

Introduction to Evolutionary Computing

Introduction to Evolutionary Computing
Author: A.E. Eiben , J.E. Smith ISBN: 9783662448731 Format: Hardback	$103.47
Read More >>

Stochastic World

Stochastic World
Author: Sergey S. Stepanov ISBN: 9783319033617 Format: Paperback	$290.37
This book is an introduction into stochastic processes for physicists, biologists and financial analysts. Using... Read More >>

Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Modelling Foundations and Applications: 11th European...
Author: Gabriele Taentzer , Francis Bordeleau ISBN: 9783319211503 Format: Paperback	$90.54
Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management,... Read More >>

Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Artificial General Intelligence: 8th International Conference,...
Author: Jordi Bieger , Ben Goertzel ISBN: 9783319213644 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence,... Read More >>

Mathematics and Computing: ICMC, Haldia, India, January 2015

Mathematics and Computing: ICMC, Haldia, India, January...
Author: Ram N. Mohapatra , Dipanwita Roy Chowdhury ISBN: 9788132224518 Format: Hardback	$448.77
This book discusses recent developments and contemporary research in mathematics, statistics and their applications... Read More >>

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd...
Author: Valeria de Paiva , Ruy de Queiroz ISBN: 9783662477083 Format: Paperback	$90.54
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the... Read More >>

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems
Author: Neeraj Kumar Singh ISBN: 9781447157908 Format: Paperback	$290.37
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop... Read More >>

Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Graph Transformation: 8th International Conference,...
Author: Francesco Parisi-Presicce , Bernhard Westfechtel ISBN: 9783319211442 Format: Paperback	$103.47
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held... Read More >>

Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Theory and Practice of Model Transformations: 8th International...
Author: Dimitris Kolovos , Manuel Wimmer ISBN: 9783319211541 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT... Read More >>

Information Processing in Medical Imaging: 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings

Information Processing in Medical Imaging: 24th International...
Author: Sebastien Ourselin , Daniel C. Alexander ISBN: 9783319199917 Format: Paperback	$116.41
Read More >>

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Automata, Languages, and Programming: 42nd International...
Author: Magnús M. Halldórsson , Kazuo Iwama ISBN: 9783662476710 Format: Paperback	$232.85
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium... Read More >>

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Computer Science -- Theory and Applications: 10th International...
Author: Lev D. Beklemishev , Daniil V. Musatov ISBN: 9783319202969 Format: Paperback	$116.41
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015,... Read More >>

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Automata, Languages, and Programming: 42nd International...
Author: Magnús M. Halldórsson , Kazuo Iwama ISBN: 9783662476659 Format: Paperback	$116.41
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium... Read More >>

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Reversible Computation: 7th International Conference,...
Author: Jean Krivine , Jean-Bernard Stefani ISBN: 9783319208596 Format: Paperback	$103.47
The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible... Read More >>

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Tests and Proofs: 9th International Conference, TAP...
Author: Jasmin Christian Blanchette , Nikolai Kosmatov ISBN: 9783319212142 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015,... Read More >>

Quantum Physics, Fuzzy Sets and Logic: Steps Towards a Many-Valued Interpretation of Quantum Mechanics

Quantum Physics, Fuzzy Sets and Logic: Steps Towards...
Author: Jarosław Pykacz , J Pykacz ISBN: 9783319193830 Format: Paperback	$145.17
Read More >>

Analytic Pattern Matching: From DNA to Twitter

Analytic Pattern Matching: From DNA to Twitter
Author: Philippe Jacquet , Wojciech Szpankowski (Purdue University, Indiana) ISBN: 9780521876087 Format: Hardback	$170.78
How do you distinguish a cat from a dog by their DNA? Pattern matching problems like these play a key role in areas... Read More >>

High Performance Computing: 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

High Performance Computing: 30th International Conference,...
Author: Julian M. Kunkel , Thomas Ludwig ISBN: 9783319201184 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 30th International Conference, ISC High Performance 2015,... Read More >>

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

Symbolic and Quantitative Approaches to Reasoning with...
Author: Sébastien Destercke , Thierry Denoeux ISBN: 9783319208060 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches... Read More >>

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Intelligent Computer Mathematics: International Conference,...
Author: Manfred Kerber , Jacques Carette ISBN: 9783319206141 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics,... Read More >>

Mathematics of Approximation

Mathematics of Approximation
Author: Johan De Villiers ISBN: 9789462390461 Format: Paperback	$261.36
Read More >>

Cylindric-like Algebras and Algebraic Logic


Author: Hajnal Andréka , Miklós Ferenczi ISBN: 9783642437991 Format: Paperback	$290.37
Algebraic logic is a subject in the interface between logic, algebra... Read More >>

The Respiratory System in Equations

The Respiratory System in Equations
Author: Bertrand Maury ISBN: 9788847055735 Format: Paperback	$263.97
Read More >>

Combinatorial Pattern Matching: 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Combinatorial Pattern Matching: 26th Annual Symposium,...
Author: Ferdinando Cicalese , Ely Porat ISBN: 9783319199283 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching, CPM... Read More >>

Page 193 of 443 ... 188 189 190 191 192 193 194 195 196 197 ...

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