Mathematical theory of computation books

11069 books were found.

History of Computing: Learning from the Past: IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

History of Computing: Learning from the Past: IFIP WG...
Author: Arthur Tatnall ISBN: 9783642423147 Format: Paperback	$145.17
History of Computing: Learning from the Past Why is the history of computing important? It is arguable whether there... Read More >>

Elementare Zahlentheorie: Beispiele, Geschichte, Algorithmen

Elementare Zahlentheorie: Beispiele, Geschichte, Algorithmen...
Author: Jochen Ziegenbalg ISBN: 9783658071707 Format: Paperback	$92.37
Besondere Zielsetzungen sind: Elementarität und Anschaulichkeit, die Berücksichtigung der historischen Entwicklung,... Read More >>

Artificial Evolution: 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

Artificial Evolution: 11th International Conference,...
Author: Pierrick Legrand , Marc-Michel Corsini ISBN: 9783319116822 Format: Paperback	$103.47
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA... Read More >>

SAGA – Advances in ShApes, Geometry, and Algebra: Results from the Marie Curie Initial Training Network

SAGA – Advances in ShApes, Geometry, and Algebra: Results...
Author: Tor Dokken , Georg Muntingh ISBN: 9783319086347 Format: Hardback	$145.17
This book summarizes research carried out in workshops of the SAGA project, an Initial Training Network exploring... Read More >>

Uncertainty Theory

Uncertainty Theory
Author: Baoding Liu ISBN: 9783662443538 Format: Hardback	$290.37
Uncertainty Theory Read More >>

Human Benefit through the Diffusion of Information Systems Design Science Research: IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Proceedings

Human Benefit through the Diffusion of Information Systems...
Author: Jan Pries-Heje , John J. Venable ISBN: 9783642422324 Format: Paperback	$290.37
Read More >>

Mathematical Methods in Counterterrorism

Mathematical Methods in Counterterrorism
Author: Nasrullah Memon , Jonathan David Farley ISBN: 9783709116647 Format: Paperback	$448.77
Read More >>

Sparse Grids and Applications

Sparse Grids and Applications
Author: Jochen Garcke , Michael Griebel ISBN: 9783642426605 Format: Paperback	$290.37
This volume of LNCSE is a collection of the papers from the proceedings of the workshop on sparse grids and its... Read More >>

Machine Learning in Medicine - Cookbook Three

Machine Learning in Medicine - Cookbook Three
Author: Ton J. Cleophas , Aeilko H. Zwinderman ISBN: 9783319121628 Format: Paperback	$145.17
Unique features of the book involve the following. 1.This book is the third volume of a three volume series of... Read More >>

The Complexity of Valued Constraint Satisfaction Problems

The Complexity of Valued Constraint Satisfaction Problems...
Author: Stanislav Živný ISBN: 9783642434563 Format: Paperback	$290.37
Read More >>

Modeling Time in Computing

Modeling Time in Computing
Author: Carlo A. Furia , Dino Mandrioli ISBN: 9783642431364 Format: Paperback	$145.17
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy,... Read More >>

PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings

PRICAI 2014: Trends in Artificial Intelligence: 13th...
Author: Duc-Nghia Pham , Seong-Bae Park ISBN: 9783319135595 Format: Paperback	$290.37
This book constitutes the refereed proceedings of the 13th Pacific Rim Conference on Artificial Intelligence, PRICAI... Read More >>

The Life and Work of Leon Henkin: Essays on His Contributions

The Life and Work of Leon Henkin: Essays on His Contributions...
Author: María Manzano , Ildikó Sain ISBN: 9783319097183 Format: Paperback	$145.17
Read More >>

Pattern Calculus: Computing with Functions and Structures

Pattern Calculus: Computing with Functions and Structures...
Author: Barry Jay ISBN: 9783642426018 Format: Paperback	$527.97
Read More >>

Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis:...
Author: Ugo Dal Lago , Ricardo Peña ISBN: 9783319124650 Format: Paperback	$118.77
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects... Read More >>

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing: 10th...
Author: Eran Yahav ISBN: 9783319133379 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014,... Read More >>

Signal Processing and Information Technology: Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

Signal Processing and Information Technology: Second...
Author: Vinu V. Das , Passent M. El-Kafrawy ISBN: 9783319116280 Format: Paperback	$145.17
Read More >>

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
Author: Rob Nederpelt (Technische Universiteit Eindhoven, The Netherlands) , Herman Geuvers (Radboud Universiteit Nijmegen) ISBN: 9781107036505 Format: Hardback	$181.13
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides... Read More >>

Modelling and Management of Engineering Processes

Modelling and Management of Engineering Processes
Author: Peter Heisig , P. John Clarkson ISBN: 9781447157175 Format: Paperback	$448.77
Modelling for Business Improvement contains the proceedings of the First International Conference on Process Modelling... Read More >>

Game of Life Cellular Automata

Game of Life Cellular Automata
Author: Andrew Adamatzky ISBN: 9781447161547 Format: Paperback	$448.77
In the late 1960s British mathematician John Conway invented a virtual mathematical machine that operates on a two-dimensional... Read More >>

Algorithmic Algebraic Combinatorics and Gröbner Bases

Algorithmic Algebraic Combinatorics and Gröbner Bases...
Author: Mikhail Klin , Gareth A. Jones ISBN: 9783642424380 Format: Paperback	$527.97
This collection of tutorial and research papers introduces readers to diverse areas of modern pure and applied algebraic... Read More >>

Monte Carlo and Quasi-Monte Carlo Methods 2008

Monte Carlo and Quasi-Monte Carlo Methods 2008
Author: Pierre L' Ecuyer , Art B. Owen ISBN: 9783642425240 Format: Paperback	$448.77
This volume represents the refereed proceedings of the Eighth International C- ference on Monte Carlo and Quasi-Monte... Read More >>

Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words

Formal Languages, Automata and Numeration Systems 1:...
Author: Michel Rigo ISBN: 9781848216150 Format: Hardback	$295.95
Read More >>

Basics of Modern Mathematical Statistics

Basics of Modern Mathematical Statistics
Author: Vladimir Spokoiny , Thorsten Dickhaus ISBN: 9783642399084 Format: Hardback	$366.96
Read More >>

Information Theory in Computer Vision and Pattern Recognition

Information Theory in Computer Vision and Pattern Recognition...
Author: Francisco Escolano Ruiz , Alan L. Yuille ISBN: 9781447156932 Format: Paperback	$290.37
Information theory has proved to be effective for solving many computer vision and pattern recognition (CVPR) problems... Read More >>

Page 203 of 443 ... 198 199 200 201 202 203 204 205 206 207 ...

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