Mathematical theory of computation books

11095 books were found.

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols

Author: Giampaolo Bella
ISBN: 9783642087820
Format: Paperback
$237.47

 Read More >>

Alan Turing: Life and Legacy of a Great Thinker

Alan Turing: Life and Legacy of a Great Thinker

Author: Christof Teuscher ,  D. Hofstadter
ISBN: 9783642057441
Format: Paperback
$287.76

 Read More >>

Perception-Based Data Processing in Acoustics: Applications to Music Information Retrieval and Psychophysiology of Hearing

Perception-Based Data Processing in Acoustics: Applications...

Author: Bozena Kostek
ISBN: 9783642065149
Format: Paperback
$448.77

This monograph provides novel insights into cognitive mechanisms underlying the processing of sound and music in...  Read More >>

Trust in Technology: A Socio-Technical Perspective

Trust in Technology: A Socio-Technical Perspective

Author: Karen Clarke ,  Gillian Hardstone
ISBN: 9789048170890
Format: Paperback
$290.37

 Read More >>

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

A Geometry of Approximation: Rough Set Theory: Logic,...

Author: Piero Pagliani ,  Mihir Chakraborty
ISBN: 9789048179350
Format: Paperback
$1238.16

'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by...  Read More >>

Modalities and Multimodalities

Modalities and Multimodalities

Author: Juliana Bueno-Soler ,  Walter Carnielli
ISBN: 9789048179244
Format: Paperback
$448.77

Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based...  Read More >>

Intelligent Technologies for Information Analysis

Intelligent Technologies for Information Analysis

Author: Ning Zhong ,  Jiming Liu
ISBN: 9783642073786
Format: Paperback
$366.96

Today we live in an information age: information has become a commodity, and every second thousands of new records...  Read More >>

New Results in Numerical and Experimental Fluid Mechanics V: Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004

New Results in Numerical and Experimental Fluid Mechanics...

Author: Hans Josef Rath ,  Carsten Holze
ISBN: 9783642069956
Format: Paperback
$947.76

Collects contributions to the 14th Symposium of the STAB (German Aerospace Aerodynamics Association). The association...  Read More >>

Foundations of Genetic Programming

Foundations of Genetic Programming

Author: William B. Langdon ,  Riccardo Poli
ISBN: 9783642076329
Format: Paperback
$184.67

Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful...  Read More >>

History of Computing: Software Issues: International Conference on the History of Computing, ICHC 2000 April 5–7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany

History of Computing: Software Issues: International...

Author: Ulf Hashagen ,  Reinhard Keil-Slawik
ISBN: 9783642076534
Format: Paperback
$211.07

This is an account on the history of software.  Read More >>

Monte Carlo Statistical Methods

Monte Carlo Statistical Methods

Author: Christian Robert ,  George Casella
ISBN: 9781441919397
Format: Paperback
$287.76

 Read More >>

Mathematical Methods in Computer Vision

Mathematical Methods in Computer Vision

Author: Peter J. Olver ,  Allen Tannenbaum
ISBN: 9781441918260
Format: Paperback
$261.36

 Read More >>

Theory and Practice of Finite Elements

Theory and Practice of Finite Elements

Author: Alexandre Ern ,  Jean-Luc Guermond
ISBN: 9781441919182
Format: Paperback
$277.20

 Read More >>

Global Optimization: From Theory to Implementation

Global Optimization: From Theory to Implementation

Author: Leo Liberti ,  Nelson Maculan
ISBN: 9781441939302
Format: Paperback
$340.56

 Read More >>

QoS in Packet Networks

QoS in Packet Networks

Author: Kun I. Park
ISBN: 9781441936226
Format: Paperback
$393.36

 Read More >>

Learning to Live in the Knowledge Society: IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference, September 7-10, 2008, Milano, Italy

Learning to Live in the Knowledge Society: IFIP 20th...

Author: Michael Kendall ,  Brian Samways
ISBN: 9781441935250
Format: Paperback
$393.36

 Read More >>

Matrix-Based Multigrid: Theory and Applications

Matrix-Based Multigrid: Theory and Applications

Author: Yair Shapira
ISBN: 9781441943217
Format: Paperback
$211.07

 Read More >>

Linear Genetic Programming

Linear Genetic Programming

Author: Markus F. Brameier ,  Wolfgang Banzhaf
ISBN: 9781441940483
Format: Paperback
$261.36

 Read More >>

Dual Tableaux: Foundations, Methodology, Case Studies

Dual Tableaux: Foundations, Methodology, Case Studies...

Author: Ewa Orlowska ,  Joanna Golińska Pilarek
ISBN: 9789400700048
Format: Hardback
$630.96

Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux,...  Read More >>

Hybrid Logic and its Proof-Theory

Hybrid Logic and its Proof-Theory

Author: Torben Braüner
ISBN: 9789400700017
Format: Hardback
$366.96

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum...  Read More >>

Introduction to Nonparametric Estimation

Introduction to Nonparametric Estimation

Author: Alexandre B. Tsybakov
ISBN: 9781441927095
Format: Paperback
$211.07

 Read More >>

Primality Testing and Integer Factorization in Public-Key Cryptography

Primality Testing and Integer Factorization in Public-Key...

Author: Song Y. Yan
ISBN: 9781441945860
Format: Paperback
$314.16

The Primality Testing Problem (PTP) has now proved to be solvable in deterministic polynomial-time (P) by the AKS...  Read More >>

Max-Plus Linear Stochastic Systems and Perturbation Analysis

Max-Plus Linear Stochastic Systems and Perturbation...

Author: Bernd F. Heidergott
ISBN: 9781441941985
Format: Paperback
$393.36

During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which...  Read More >>

Security Management, Integrity, and Internal Control in Information Systems: IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference

Security Management, Integrity, and Internal Control...

Author: Steve Furnell ,  Paul Dowland
ISBN: 9781441940056
Format: Paperback
$393.36

Features proceedings from the IFIP TC-11 WG 11.1 and WG 11.5 Joint Working Conference on Security Management, Integrity,...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List