Mathematical theory of computation books

11108 books were found.

Algorithmic Learning

Algorithmic Learning

Author: Alan Hutchinson
ISBN: 9780198538486
Format: Paperback
$105.00

Aims to provide a complete, practical guide to over 30 specific learning techniques, with comparisons, examples...  Read More >>

A Mathematical Introduction to Robotic Manipulation

A Mathematical Introduction to Robotic Manipulation...

Author: Richard M. Murray ,  Zexiang Li
ISBN: 9780849379819
Format: Paperback
$305.00

Presents a formulation of the kinematics, dynamics, and control of robot manipulators. This book emphasizes the...  Read More >>

Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte...

Author: Krzysztof R. Apt ,  Ernst-Rüdiger Olderog
ISBN: 9783540574798
Format: Paperback
$105.47

Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle,...  Read More >>

Algorithmic Learning

Algorithmic Learning

Author: Alan Hutchinson
ISBN: 9780198537663
Format: Hardback
$290.00

This book provides an introduction to machine learning.  Read More >>

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Computability, Complexity, and Languages: Fundamentals...

Author: Martin Davis (Courant Institute of Mathematical Sciences of New York University, New York, U.S.A.) ,  Ron Sigal (Consultant, New Haven, Connecticut, U.S.A.)
ISBN: 9780122063824
Format: Paperback
$279.84

This introductory text covers the key areas of computer science, including recursive function theory, formal languages...  Read More >>

The Roots of Backpropagation: From Ordered Derivatives to Neural Networks and Political Forecasting

The Roots of Backpropagation: From Ordered Derivatives...

Author: Paul John Werbos
ISBN: 9780471598978
Format: Hardback
$366.95

An introduction to the concept of backpropagation, or ""dynamic feedback"", an algorithm developed by the author...  Read More >>

Numerical Solution of Ordinary Differential Equations

Numerical Solution of Ordinary Differential Equations...

Author: L.F. Shampine
ISBN: 9780412051517
Format: Hardback
$378.00

 Read More >>

The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization

The Newton-Cauchy Framework: A Unified Approach to Unconstrained...

Author: John L. Nazareth
ISBN: 9783540576716
Format: Paperback
$131.87

Computational unconstrained nonlinear optimization comes tolife from a study of the interplay between the metric-based(Cauchy)...  Read More >>

Computational Optimal Control

Computational Optimal Control

Author: Roland Bulirsch ,  Dieter Kraft
ISBN: 9783764350154
Format: Hardback
$483.12

For this pur­ pose, the technical committee Mathematics of Control of IFAC organizes biennial conferences with the...  Read More >>

Visualization of Scientific Parallel Programs

Visualization of Scientific Parallel Programs

Author: Gerald Tomas ,  Christoph W. Ueberhuber
ISBN: 9783540577386
Format: Paperback
$184.67

The substantial effort of parallelizing scientific programs is only justified if the resulting codes are efficient....  Read More >>

Shape in Picture: Mathematical Description of Shape in Grey-level Images

Shape in Picture: Mathematical Description of Shape...

Author: Ying-Lie O ,  Alexander Toet
ISBN: 9783540575788
Format: Hardback
$683.76

This overview of the mathematical description of shape emphasises methodology and the underlying mathematics. Its...  Read More >>

Algorithms and Complexity: Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings

Algorithms and Complexity: Second Italian Conference,...

Author: Maurizio Bonuccelli ,  Pierluigi Crescenzi
ISBN: 9783540578116
Format: Paperback
$145.07

The papers in this volume were presented at the SecondItalian Conference onAlgorithms and Complexity, held inFebruary...  Read More >>

STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings

STACS 94: 11th Annual Symposium on Theoretical Aspects...

Author: Patrice Enjalbert ,  Ernst W. Mayr
ISBN: 9783540577850
Format: Paperback
$316.80

This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science...  Read More >>

An Extended Entity-Relationship Model: Fundamentals and Pragmatics

An Extended Entity-Relationship Model: Fundamentals...

Author: Martin Gogolla
ISBN: 9783540576488
Format: Paperback
$139.79

This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual...  Read More >>

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

Logical Methods: In Honor of Anil Nerode’s Sixtieth...

Author: John N. Crossley ,  Jeffrey B. Remmel
ISBN: 9780817636906
Format: Hardback
$562.32

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive...  Read More >>

Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991

Computer Vision: Craft, Engineering, and Science: Workshop...

Author: David Vernon
ISBN: 9783540572114
Format: Hardback
$179.39

Based on an ESPRIT workshop, this volume assesses approaches to the construction of computer vision systems. Several...  Read More >>

Computability: A Mathematical Sketchbook

Computability: A Mathematical Sketchbook

Author: Douglas S. Bridges
ISBN: 9780387941745
Format: Hardback
$224.27

Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability:...  Read More >>

Digital Image Processing Methods

Digital Image Processing Methods

Author: Dougherty ,  Brian J. Thompson (University of Rochester, New York, USA)
ISBN: 9780824789275
Format: Hardback
$683.00

This unique reference presents in-depth coverage of the latest methods and applications of digital image processing...  Read More >>

Gear Geometry and Applied Theory

Gear Geometry and Applied Theory

Author: Faydor Litvin
ISBN: 9780132110952
Format: Paperback
$290.40

Written by THE internationally recognized expert in gears and the developer of the modern theory of gearing, this...  Read More >>

SPSS für Windows: Datenanalyse unter Windows

SPSS für Windows: Datenanalyse unter Windows

Author: Wolf-Michael Kähler
ISBN: 9783528054045
Format: Paperback
$184.77

 Read More >>

Interaktive Systeme: Software-Entwicklung und Software-Ergonomie

Interaktive Systeme: Software-Entwicklung und Software-Ergonomie...

Author: Christian Stary
ISBN: 9783528053840
Format: Paperback
$158.37

Die Akzeptanz und damit der Erfolg interaktiver Systeme (Software und Hardware zur gemeinsamen Bewaltigung von Aufgaben...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List