Mathematical theory of computation books

11108 books were found.

Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers
Author: John Robert Harrison ISBN: 9783540762560 Format: Hardback	$261.36
A discussion of the formal development of classical mathematics using a computer. It combines traditional lines... Read More >>

Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings

Mathematics of Program Construction: 4th International...
Author: Johan Jeuring ISBN: 9783540645917 Format: Paperback	$211.07
Read More >>

Digital Control Engineering with Micro-controllers

Digital Control Engineering with Micro-controllers
Author: J. Brandt Bridgett , LEUNG ISBN: 9780412599507 Format: Hardback	$124.08
Digital systems are now all-pervasive in industry and university courses are constrained to recognize this fact.... Read More >>

Advances in Digital and Computational Geometry

Advances in Digital and Computational Geometry
Author: Reinhard Klette , A. Rosenfeld (University of Maryland, Maryland, USA) ISBN: 9789813083943 Format: Paperback	$271.92
A discussion of advances in digital and computational geometry. The text contains chapters from many specialists... Read More >>

Partial Differential Equations for Computational Science: With Maple® and Vector Analysis

Partial Differential Equations for Computational Science:...
Author: David Betounes ISBN: 9780387983004 Format: Hardback	$261.36
This is a classroom-tested and developed textbook designed for use in either one- or two term courses in Partial... Read More >>

Advances in Cryptology – EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings

Advances in Cryptology – EUROCRYPT '98: International...
Author: Kaisa Nyberg ISBN: 9783540645184 Format: Paperback	$290.40
Read More >>

Evolutionary Computation: The Fossil Record

Evolutionary Computation: The Fossil Record
Author: David B. Fogel ISBN: 9780780334816 Format: Hardback	$416.95
Read More >>

Stabilization Problems with Constraints: Analysis and Computational Aspects

Stabilization Problems with Constraints: Analysis and...
Author: Vladimir A Bushenkov , Georgi V Smirnov ISBN: 9789056991418 Format: Paperback	$284.00
Read More >>

Scheduling Algorithms

Scheduling Algorithms
Author: Peter Brucker ISBN: 9783540641056 Format: Hardback	$285.12
Besides scheduling problems for single and parallel machines and shop scheduling problems, this study covers advanced... Read More >>

Eine elementare Einfuhrung in die Theorie der Turing-Maschinen

Eine elementare Einfuhrung in die Theorie der Turing-Maschinen...
Author: Oswald Wiener , Manuel Bonik ISBN: 9783211827697 Format: Mixed media product	$105.95
KLAPPENTEXT:Alan Turings automatentheoretische UEberlegungen spielen eine massgebliche Rolle, wenn es gilt, die... Read More >>

Introduction Functional Programming: Introduction Functional Programming

Introduction Functional Programming: Introduction Functional...
Author: Richard Bird , Philip Wadler ISBN: 9780134843469 Format: Paperback	$175.92
This book is directed towards the concepts of functional programming, rather than their realization in a specific... Read More >>

Proceedings Of The Sixth Asian Logic Conference

Proceedings Of The Sixth Asian Logic Conference
Author: Chi Tat Chong (Nus, S'pore) , Mariko Yasugi (Kyoto Sangyo Univ, Japan) ISBN: 9789810234324 Format: Paperback	$190.08
This volume collects written versions of invited and contributed talks presented at the conference. Read More >>

LATIN'98: Theoretical Informatics: Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings

LATIN'98: Theoretical Informatics: Third Latin American...
Author: Claudio L. Lucchesi , Arnaldo V. Moura ISBN: 9783540642756 Format: Paperback	$218.99
Read More >>

Fast Parallel Algorithms for Graph Matching Problems: Combinatorial, Algebraic, and Probabilistic Approach

Fast Parallel Algorithms for Graph Matching Problems:...
Author: Marek Karpinski (Chair Professor of Computer Science, Chair Professor of Computer Science, University of Bonn, Germany) , Wojciech Rytter (Professor of Computer Science, Professor of Computer Science, University of Warsaw, Poland, and University of Liverpool) ISBN: 9780198501626 Format: Hardback	$191.95
Part of the OXFORD LECTURE SERIES IN MATHEMATICS AND ITS APPLICATIONS series, a comprehensive and straightforward... Read More >>

Digital Signal Processing Algorithms: Number Theory, Convolution, Fast Fourier Transforms, and Applications

Digital Signal Processing Algorithms: Number Theory,...
Author: Hari Krishna (Syracuse University, Syracuse, New York, USA) , UdoW. Pooch ISBN: 9780849371783 Format: Hardback	$336.00
Digital Signal Processing Algorithms describes computational number theory and its applications to deriving fast... Read More >>

Numerical Computation in Science and Engineering

Numerical Computation in Science and Engineering
Author: C. Pozrikidis ISBN: 9780195112535 Format: Hardback	$369.60
This text on scientific and engineering numerical computation is intended for the non-expert student or researcher.... Read More >>

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Automated Deduction in Geometry: International Workshop...
Author: Dongming Wang ISBN: 9783540642978 Format: Paperback	$171.47
Read More >>

Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Recent Trends in Algebraic Development Techniques: 12th...
Author: Francesco Parisi-Presicce ISBN: 9783540642992 Format: Paperback	$218.99
Read More >>

Informatik und Ausbildung: GI-Fachtagung 98 Informatik und Ausbildung Stuttgart, 30. März–1.April 1998

Informatik und Ausbildung: GI-Fachtagung 98 Informatik...
Author: Volker Claus ISBN: 9783540641780 Format: Paperback	$134.51
In diesem Band werden die aktuellen Entwicklungen von Methoden und Werkzeugen der Informatik für Lehre und Ausbildung... Read More >>

Software-Projektmanagement kompakt: Für Studium und Praxis

Software-Projektmanagement kompakt: Für Studium und...
Author: Ian W. Ricketts , G&U Technische Dokumentation ISBN: 9783540637486 Format: Paperback	$51.45
Software-Projektmanagement ist ein wichtiger Bestandteil der Ausbildung in der Informatik. Dieses Buch ist ein verständlicher... Read More >>

Fast Software Encryption: 5th International Workshop, FSE ’98, Paris, France, March 23–25, 1998, Proceedings

Fast Software Encryption: 5th International Workshop,...
Author: Serge Vaudenay ISBN: 9783540642657 Format: Paperback	$205.79
The 20 revised full papers presented here were reviewed and selected from a total of 39 submissions. The volume... Read More >>

Data Science, Classification, and Related Methods: Proceedings of the Fifth Conference of the International Federation of Classification Societies (IFCS-96), Kobe, Japan, March 27–30, 1996

Data Science, Classification, and Related Methods: Proceedings...
Author: Chikio Hayashi , Keiji Yajima ISBN: 9784431702085 Format: Paperback	$462.00
Selected papers covering a wide range of topics including theoretical and methodological advances relating to data... Read More >>

Topics In Computational Materials Science

Topics In Computational Materials Science
Author: Ching-yao Fong (Univ Of California, Davis, Usa) ISBN: 9789810231491 Format: Hardback	$195.36
This volume describes research topics in theoretical materials science, encompassing the computational methods and... Read More >>

Lectures on Proof Verification and Approximation Algorithms

Lectures on Proof Verification and Approximation Algorithms...
Author: Ernst W. Mayr , Hans Jürgen Prömel ISBN: 9783540642015 Format: Paperback	$224.27
Read More >>

Stochastic Linear Programming Algorithms: A Comparison Based on a Model Management System

Stochastic Linear Programming Algorithms: A Comparison...
Author: Janos Mayer ISBN: 9789056991449 Format: Hardback	$183.00
A computationally oriented comparison of solution algorithms for two stage and jointly chance constrained stochastic... Read More >>

Page 394 of 445 ... 389 390 391 392 393 394 395 396 397 398 ...

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