Mathematical theory of computation books

11103 books were found.

Complexity Theory: Exploring the Limits of Efficient Algorithms

Complexity Theory: Exploring the Limits of Efficient...
Author: Ingo Wegener , R. Pruim ISBN: 9783642059148 Format: Paperback	$237.47
Read More >>

Component-Based Software Testing with UML

Component-Based Software Testing with UML
Author: Hans-Gerhard Gross ISBN: 9783642058820 Format: Paperback	$287.76
Read More >>

Geometric Algebra for Computer Graphics

Geometric Algebra for Computer Graphics
Author: John Vince ISBN: 9781849966979 Format: Paperback	$261.36
The author tackles this complex subject of Geometric algebra (a... Read More >>

Robust Intelligent Systems

Robust Intelligent Systems
Author: Alfons Schuster ISBN: 9781849967655 Format: Paperback	$366.96
This in mind, the book has four main sections: Part I has a look at robustness in terms of underlying technologies... Read More >>

Automatic Autocorrelation and Spectral Analysis

Automatic Autocorrelation and Spectral Analysis
Author: Petrus M.T. Broersen ISBN: 9781849965811 Format: Paperback	$340.56
Read More >>

Modelling Driver Behaviour in Automotive Environments: Critical Issues in Driver Interactions with Intelligent Transport Systems

Modelling Driver Behaviour in Automotive Environments:...
Author: Carlo Cacciabue ISBN: 9781849966283 Format: Paperback	$393.36
In the automotive environment, the paradigm of the joint human machine system is called the ""Driver-Vehicle-Environment""... Read More >>

Analysis and Design of Information Systems

Analysis and Design of Information Systems
Author: Arthur M. Langer ISBN: 9781849966399 Format: Paperback	$261.36
In any software design project, the analysis stage – documenting and designing technical requirements for the needs... Read More >>

Responsibility and Dependable Systems

Responsibility and Dependable Systems
Author: Guy Dewsbury , John Dobson ISBN: 9781849966313 Format: Paperback	$261.36
This book brings together for the first time two important features of a computer system to be embedded in an organisational... Read More >>

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

A Theory of Distributed Objects: Asynchrony - Mobility...
Author: Denis Caromel , Luca Cardelli ISBN: 9783642058844 Format: Paperback	$340.56
Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. This book... Read More >>

Java Methods for Financial Engineering: Applications in Finance and Investment

Java Methods for Financial Engineering: Applications...
Author: Philip Barker ISBN: 9781849969321 Format: Paperback	$237.47
Read More >>

Categories for Software Engineering

Categories for Software Engineering
Author: Jose Luiz Fiadeiro ISBN: 9783642058882 Format: Paperback	$287.76
Demonstrates how category theory can be used for formal software development. Read More >>

Neural Networks in a Softcomputing Framework

Neural Networks in a Softcomputing Framework
Author: Ke-Lin Du , M.N.S. Swamy ISBN: 9781849965743 Format: Paperback	$366.96
Conventional model-based data processing methods are computationally expensive and require experts’ knowledge for... Read More >>

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Form-Oriented Analysis: A New Methodology to Model Form-Based...
Author: Dirk Draheim , Gerald Weber ISBN: 9783642058226 Format: Paperback	$287.76
Read More >>

Geometry for Computer Graphics: Formulae, Examples and Proofs

Geometry for Computer Graphics: Formulae, Examples and...
Author: John Vince ISBN: 9781849969338 Format: Paperback	$287.76
Geometry is the cornerstone of computer graphics and computer animation, and provides the framework and tools for... Read More >>

Validated Designs for Object-oriented Systems

Validated Designs for Object-oriented Systems
Author: John Fitzgerald , Peter Gorm Larsen ISBN: 9781849969437 Format: Paperback	$250.80
Read More >>

Mathematical and Computer Programming Techniques for Computer Graphics

Mathematical and Computer Programming Techniques for...
Author: Peter Comninos ISBN: 9781849969543 Format: Paperback	$340.56
Mathematical and Computer Programming Techniques for Computer Graphics introduces the mathematics and related computer... Read More >>

Computable Models

Computable Models
Author: raymond turner ISBN: 9781849968188 Format: Paperback	$287.76
In doing so he presents the first systematic attempt to provide computational models with a logical foundation.Computable... Read More >>

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Introduction to Embedded System Design Using Field Programmable...
Author: Rahul Dubey ISBN: 9781849968157 Format: Paperback	$287.76
Read More >>

Parallel Computing: Numerics, Applications, and Trends

Parallel Computing: Numerics, Applications, and Trends...
Author: Roman Trobec , Marián Vajteršic ISBN: 9781849968416 Format: Paperback	$261.36
The use of parallel programming and architectures is essential for simulating and solving problems in modern computational... Read More >>

Computer-Aided Design of User Interfaces VI

Computer-Aided Design of User Interfaces VI
Author: Victor Lopez Jaquero , Francisco Montero Simarro ISBN: 9781849968263 Format: Paperback	$578.16
Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading... Read More >>

Precision Landmark Location for Machine Vision and Photogrammetry: Finding and Achieving the Maximum Possible Accuracy

Precision Landmark Location for Machine Vision and Photogrammetry:...
Author: José A. Gutierrez , Brian S.R. Armstrong ISBN: 9781849966740 Format: Paperback	$366.96
The least possible photogrammetric uncertainty in a given situation is determined using the Cramér–Rao Lower Bound... Read More >>

Advances in Soft Computing: Engineering Design and Manufacturing

Advances in Soft Computing: Engineering Design and Manufacturing...
Author: Jose M. Benitez , Oscar Cordon ISBN: 9781849969055 Format: Paperback	$551.76
This collection of keynote papers, presented at the 7th On-line World Conference on Soft Computing in Engineering... Read More >>

Adaptive Scalarization Methods in Multiobjective Optimization

Adaptive Scalarization Methods in Multiobjective Optimization...
Author: Gabriele Eichfelder ISBN: 9783642098048 Format: Paperback	$340.56
This book presents adaptive solution methods for multiobjective optimization problems based on parameter dependent... Read More >>

Information Hiding: 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers

Information Hiding: 12th International Conference, IH...
Author: Rainer Böhme , Philip W. L. Fong ISBN: 9783642164347 Format: Paperback	$190.08
IH 2010 was the 12th Information Hiding Conference, held in Calgary, Canada, June 28–30, 2010. Read More >>

Property Testing: Current Research and Surveys

Property Testing: Current Research and Surveys
Author: Oded Goldreich ISBN: 9783642163661 Format: Paperback	$219.12
Property Testing is the study of super-fast (randomized) algorithms for approximate decision making. These algorithms... Read More >>

Page 321 of 445 ... 316 317 318 319 320 321 322 323 324 325 ...

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