Mathematical theory of computation books

11103 books were found.

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-search: Proof Theory, Semantics,...
Author: David J. Pym (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) , Eike Ritter (, Lecturer in Computer Science, University of Birmingham) ISBN: 9780198526339 Format: Hardback	$324.00
Read More >>

Mathematical Techniques in Multisensor Data Fusion

Mathematical Techniques in Multisensor Data Fusion
Author: David L. Hall , Sonya A.H. McMullen ISBN: 9781580533355 Format: Hardback	$271.92
Since the publication of the first edition of this book, advances in algorithms, logic and software tools have transformed... Read More >>

Usability Engineering in der E-Collaboration: Ein managementorientierter Ansatz für virtuelle Teams

Usability Engineering in der E-Collaboration: Ein managementorientierter...
Author: Rainer Haas ISBN: 9783824421756 Format: Paperback	$263.97
Read More >>

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Integrated Formal Methods: 4th International Conference,...
Author: Eerke Boiten , John Derrick ISBN: 9783540213772 Format: Paperback	$250.80
Read More >>

Algebra und Diskrete Mathematik 2: Lineare Optimierung, Graphen und Algorithmen, Algebraische Strukturen und Allgemeine Algebra mit Anwendungen

Algebra und Diskrete Mathematik 2: Lineare Optimierung,...
Author: Dietlinde Lau ISBN: 9783540203988 Format: Paperback	$105.47
Read More >>

Parallel Scientific Computation: A Structured Approach using BSP and MPI

Parallel Scientific Computation: A Structured Approach...
Author: Rob H. Bisseling (, Associate Professor, Mathematics Department, Utrecht University) ISBN: 9780198529392 Format: Hardback	$330.00
Explains how to use the bulk synchronous parallel (BSP) model and the BSPlib communication library in parallel algorithm... Read More >>

Arithmetic and Logic in Computer Systems

Arithmetic and Logic in Computer Systems
Author: Mi Lu (Texas A&M University, TX, USA) ISBN: 9780471469452 Format: Hardback	$215.95
The book describes the fundamental principles of computer arithmetic. Algorithms for performing operations like... Read More >>

Numerical Methods for Linear Control Systems

Numerical Methods for Linear Control Systems
Author: Biswa Datta (Northern Illinois University, USA) ISBN: 9780122035906 Format: Hardback	$298.32
Aimed at systematic descriptions and implementations of numerically-viable algorithms based on numerical linear... Read More >>

Computational And Group-theoretical Methods In Nuclear Physics, Proceedings Of The Symposium In Honor Of Jerry P Draayer's 60th Birthday

Computational And Group-theoretical Methods In Nuclear...
Author: Jorge G Hirsch (Univ Nac Autonoma De Mexico, Mexico) , Jutta E Escher (Lawrence Livermore Nat'l Lab, Usa) ISBN: 9789812385963 Format: Hardback	$355.40
The symposium ""Computational and Group-Theoretical Methods in Nuclear Physics"" was organized to celebrate the... Read More >>

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of...
Author: Guo-Qiang Zhang , J. Lawson ISBN: 9781402018329 Format: Hardback	$261.36
With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research... Read More >>

Mathematica by Example

Mathematica by Example
Author: Martha L. Abell (Professor Emerita) , James P. Braselton (Associate Professor Emeritus) ISBN: 9780120415632 Format: Paperback	$229.55
Covers applications of mathematics within different areas including calculus, linear algebra, ordinary differential... Read More >>

Introduction to Parallel Computing: A practical guide with examples in C

Introduction to Parallel Computing: A practical guide...
Author: Wesley Petersen (, Seminar for Applied Mathematics, Department of Mathematics, ETHZ, Switzerland) , Peter Arbenz (, Institute for Scientific Computing, Department Informatik, ETHZ, Switzerland) ISBN: 9780198515777 Format: Paperback	$195.95
Read More >>

Introduction to Parallel Computing: A practical guide with examples in C

Introduction to Parallel Computing: A practical guide...
Author: Wesley Petersen (, Seminar for Applied Mathematics, Department of Mathematics, ETHZ, Switzerland) , Peter Arbenz (, Institute for Scientific Computing, Department Informatik, ETHZ, Switzerland) ISBN: 9780198515760 Format: Hardback	$402.00
Read More >>

Primality Testing and Integer Factorization in Public-Key Cryptography

Primality Testing and Integer Factorization in Public-Key...
Author: Song Y. Yan ISBN: 9781402076497 Format: Hardback	$330.00
Introduces various algorithms for primality testing and integer factorization, with their applications in public-key... Read More >>

Autonome Mobile Systeme 2003: 18. Fachgespräch Karlsruhe, 4./5. Dezember 2003

Autonome Mobile Systeme 2003: 18. Fachgespräch Karlsruhe,...
Author: Rüdiger Dillmann , Heinz Wörn ISBN: 9783540201427 Format: Paperback	$340.56
Die Beiträge zu den Schwerpunkten Autonome Systeme im Straßenverkehr, Autonome und kooperative Systeme, Industrielle... Read More >>

Guide to LaTeX

Guide to LaTeX
Author: Helmut Kopka , Patrick W. Daly ISBN: 9780321173850 Format: Mixed media product	$158.37
Read More >>

Optimal Control from Theory to Computer Programs

Optimal Control from Theory to Computer Programs
Author: Viorel Arnăutu , Pekka Neittaanmäki ISBN: 9781402017711 Format: Hardback	$446.16
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical... Read More >>

Thirty Five Years of Automating Mathematics

Thirty Five Years of Automating Mathematics
Author: F.D. Kamareddine ISBN: 9781402016561 Format: Hardback	$364.32
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. De Bruijn's contributions... Read More >>

Introduction to Scientific Computation and Programming

Introduction to Scientific Computation and Programming...
Author: Daniel Kaplan ISBN: 9780534389130 Format: Paperback	$316.67
This book provides students with the modern skills and concepts needed to be able to use the computer expressively... Read More >>

Computability Theory

Computability Theory
Author: S. Barry Cooper (University of Leeds, UK) , S. Barry Cooper (University of Leeds, UK) ISBN: 9781584882374 Format: Hardback	$210.00
Read More >>

Math for 3D Game Programming and Computer Graphics

Math for 3D Game Programming and Computer Graphics
Author: Eric Lengyel ISBN: 9781584502777 Format: Hardback	$131.87
Illustrating all the mathematical techniques that software engineers, graphics programmers and game programmers... Read More >>

An Invitation to 3-D Vision: From Images to Geometric Models

An Invitation to 3-D Vision: From Images to Geometric...
Author: Yi Ma , Stefano Soatto ISBN: 9780387008936 Format: Hardback	$237.47
This book is intended to give undergraduate and beginning graduate students and researchers in computer vision,... Read More >>

Wavelets and Multiwavelets

Wavelets and Multiwavelets
Author: Fritz Keinert (Iowa State University, Ames, USA) , Steven G. Krantz (Washington University, St. Louis, Missouri, USA) ISBN: 9781584883043 Format: Hardback	$242.00
Pulling together information scattered throughout the literature of mathematics and engineering, this book offers... Read More >>

Einführung in die Stochastik: Mit Elementen der Bayes–Statistik und der Analyse unscharfer Information

Einführung in die Stochastik: Mit Elementen der Bayes–Statistik...
Author: R.K.W. Viertl , R K W Viertl ISBN: 9783211008379 Format: Paperback	$131.87
Die Neuauflage behandelt verschiedene Wahrscheinlichkeitsbegriffe, inklusive neuester unscharfer Wahrscheinlichkeiten, Wahrscheinlichkeitsräume,... Read More >>

Proceedings Of The 7th And 8th Asian Logic Conferences

Proceedings Of The 7th And 8th Asian Logic Conferences...
Author: Mariko Yasugi (Kyoto Sangyo Univ, Japan) , Rodney G Downey (Victoria Univ Of Wellington, New Zealand) ISBN: 9789812382610 Format: Hardback	$462.00
A collection of papers from the 7th and the 8th Asian Local Conference on Logic. The 8th conference was also the... Read More >>

Page 368 of 445 ... 363 364 365 366 367 368 369 370 371 372 ...

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