Mathematical theory of computation books

11108 books were found.

Rigidity Theory and Applications

Rigidity Theory and Applications
Author: M.F. Thorpe , P.M. Duxbury ISBN: 9780306461156 Format: Hardback	$762.96
Read More >>

Models of Sharing Graphs: A Categorical Semantics of Let and Letrec

Models of Sharing Graphs: A Categorical Semantics of...
Author: Masahito Hasegawa ISBN: 9781852331450 Format: Hardback	$232.19
A sound mathematical basis for reasoning about models of computation involving shared resources. An algebraic approach... Read More >>

Unsupervised Learning: Foundations of Neural Computation

Unsupervised Learning: Foundations of Neural Computation...
Author: Geoffrey Hinton , Terrence J. Sejnowski (Francis Crick Professor, Salk Institute for Biological Studies) ISBN: 9780262581684 Format: Paperback	$105.60
This volume on neural network learning algorithms, focuses on neural network learning algorithms that do not require... Read More >>

Synthetic Aperture Radar Signal Processing with MATLAB Algorithms

Synthetic Aperture Radar Signal Processing with MATLAB...
Author: Mehrdad Soumekh ISBN: 9780471297062 Format: Hardback	$384.95
An up-to-date analysis of the SAR wavefront reconstruction signal theory and its digital implementation. With the... Read More >>

Self-consistent Quantum-Field Theory and Bosonization for Strongly Correlated Electron Systems

Self-consistent Quantum-Field Theory and Bosonization...
Author: Rudolf Haussmann ISBN: 9783540658122 Format: Hardback	$237.47
This research monograph offers an introduction to advanced quantum field theoretical techniques for many particle... Read More >>

Integer Programming and Combinatorial Optimization: 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings

Integer Programming and Combinatorial Optimization:...
Author: Gerard Cornuejols , Rainer E. Burkard ISBN: 9783540660194 Format: Paperback	$237.47
These papers cover: approximation, branch and bound, cutting plane, graph and network, and online algorithms; computational... Read More >>

Scientific Computing in Chemical Engineering II: Simulation, Image Processing, Optimization, and Control

Scientific Computing in Chemical Engineering II: Simulation,...
Author: Frerich Keil , Wolfgang Mackens ISBN: 9783540658511 Format: Hardback	$683.76
Gives the state of the art from the point of view of numerical mathematicians as well as that of engineers. The... Read More >>

High Performance Computing: Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings

High Performance Computing: Second International Symposium,...
Author: Constantine Polychronopoulos , Kazuki Joe ISBN: 9783540659693 Format: Paperback	$224.27
Read More >>

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

Formal Methods for Real-Time and Probabilistic Systems:...
Author: Jost-Pieter Katoen ISBN: 9783540660101 Format: Paperback	$197.87
Read More >>

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Computer Science Logic: 12th International Workshop,...
Author: Georg Gottlob , Etienne Grandjean ISBN: 9783540659228 Format: Paperback	$224.27
These 25 refereed post workshop papers and three reviewed invited papers span the whole scope of computer science... Read More >>

Model Theory

Model Theory
Author: Maria Manzano (Profesora Titular de Logica, Profesora Titular de Logica, Universidad de Salamanca, Spain) , Ruy De Queiroz (Departamento de Informatica, Departamento de Informatica, Universidade Federal de Pernambuco, Brazil) ISBN: 9780198538516 Format: Hardback	$240.95
Read More >>

Evolutionary Algorithms in Engineering and Computer Science: Recent Advances in Genetic Algorithms, Evolution Strategies, Evolutionary Programming, Genetic Programming and Industrial Applications

Evolutionary Algorithms in Engineering and Computer...
Author: K. Miettinen (University of Jyväskylä, Finland) , Pekka Neittaanmäki (University of Jyväskylä, Finland) ISBN: 9780471999027 Format: Hardback	$488.95
Genetic algorithms (GA) and evolution strategies (ES) are relatively new stochastic based techniques for solving... Read More >>

Computernetze und virtuelle Realität: Leben in der Wissensgesellschaft

Computernetze und virtuelle Realität: Leben in der Wissensgesellschaft...
Author: Klaus Mainzer ISBN: 9783540654650 Format: Paperback	$131.87
Read More >>

Fuzzy Cluster Analysis: Methods for Classification, Data Analysis and Image Recognition

Fuzzy Cluster Analysis: Methods for Classification,...
Author: Frank Höppner (German Aerospace Center, Braunschweig, Germany) , Frank Klawonn (University of Ostfriesland, Emden, Germany) ISBN: 9780471988649 Format: Hardback	$379.95
Fuzzy clustering, which combines fuzzy logic and cluster analysis techniques, has experienced a spur of interest... Read More >>

Adaptive Methods Of Computing Mathematics And Mechanics: Stochastic Variant

Adaptive Methods Of Computing Mathematics And Mechanics:...
Author: D G Arsenjev (St Petersburg State Tech Univ, Russia) , Vladimir M Ivanov (.) ISBN: 9789810235017 Format: Hardback	$340.56
This book describes adaptive methods of statistical numerical analysis using evaluation of integrals, solution of... Read More >>

A First Course in Digital Systems Design: An Integrated Approach

A First Course in Digital Systems Design: An Integrated...
Author: John P. Uyemura ISBN: 9780534934125 Format: Hardback	$485.63
This text takes a different approach to teaching Digital Logic, one that reflects the interacting areas of digital... Read More >>

Contributions To Hardwave And Software Reliability

Contributions To Hardwave And Software Reliability
Author: R B Garg (Univ Of Delhi, India) , P K Kapur (Univ Of Delhi, India) ISBN: 9789810237516 Format: Hardback	$113.52
This book discusses the aspects which have relevance to computing systems and those where numerical computation... Read More >>

Computational Logic

Computational Logic
Author: Ulrich Berger , Helmut Schwichtenberg ISBN: 9783540645894 Format: Hardback	$411.84
Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here... Read More >>

A Textbook of Belief Dynamics: Solutions to exercises

A Textbook of Belief Dynamics: Solutions to exercises...
Author: Sven Ove Hansson ISBN: 9780792353294 Format: Paperback	$340.56
The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge... Read More >>

High-Performance Computing and Networking: 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings

High-Performance Computing and Networking: 7th International...
Author: Peter Sloot , Marian Bubak ISBN: 9783540658214 Format: Paperback	$419.76
This volume constitutes the refereed proceedings of the 7th International Conference on High Performance Computing... Read More >>

A Textbook of Belief Dynamics: Theory Change and Database Updating

A Textbook of Belief Dynamics: Theory Change and Database...
Author: Sven Ove Hansson ISBN: 9780792353249 Format: Hardback	$578.16
The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge... Read More >>

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Typed Lambda Calculi and Applications: 4th International...
Author: Jean-Yves Girard ISBN: 9783540657637 Format: Paperback	$224.27
Read More >>

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Logic-Based Program Synthesis and Transformation: 8th...
Author: Pierre Flener ISBN: 9783540657651 Format: Paperback	$205.79
Read More >>

Mathematical and Computational Biology International Workshop, 21-25 October, 1997, University of Aizu, Aizu-Wakamatsu City, Japan

Mathematical and Computational Biology International...
Author: Christopher L. Nehaniv ISBN: 9780821809419 Format: Paperback	$182.42
Read More >>

Turing and the Computer

Turing and the Computer
Author: Paul Strathern ISBN: 9780385492430 Format: Paperback	$26.27
An explanation of the computer's development also offers an exploration of the life of the brilliant mathematician... Read More >>

Page 389 of 445 ... 384 385 386 387 388 389 390 391 392 393 ...

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