Mathematical theory of computation books

11108 books were found.

Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings

Mathematical Foundations of Computer Science 1999: 24th...
Author: Miroslaw Kutylowski , Leszek Pacholski ISBN: 9783540664086 Format: Paperback	$234.83
Read More >>

Fundamentals of Computation Theory: 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

Fundamentals of Computation Theory: 12th International...
Author: Gabriel Ciobanu , Gheorghe Paun ISBN: 9783540664123 Format: Paperback	$256.08
Read More >>

Formal Specification: Techniques and Applications

Formal Specification: Techniques and Applications
Author: Nimal Nissanke ISBN: 9781852330026 Format: Paperback	$145.07
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which... Read More >>

Grid Generation Methods

Grid Generation Methods
Author: V. D. Liseikin ISBN: 9783540656869 Format: Hardback	$419.76
An introduction to structured and unstructured grid methods in scientific computing. It offers a description of... Read More >>

Algorithms and Data Structures: 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings

Algorithms and Data Structures: 6th International Workshop,...
Author: Frank Dehne , Arvind Gupta ISBN: 9783540662792 Format: Paperback	$197.87
Read More >>

Algorithms - ESA'99: 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings

Algorithms - ESA'99: 7th Annual European Symposium,...
Author: Jaroslav Nesetril ISBN: 9783540662518 Format: Paperback	$261.36
Read More >>

Computing and Combinatorics: 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings

Computing and Combinatorics: 5th Annual International...
Author: Takao Asano , Hiroshi Imai ISBN: 9783540662006 Format: Paperback	$256.08
Read More >>

A Crash Course in Mathematica

A Crash Course in Mathematica
Author: Stephan Kaufmann ISBN: 9783764361273 Format: Paperback	$131.87
Read More >>

New Developments in Approximation Theory: 2nd International Dortmund Meeting (IDoMAT) '98, Germany, February 23-27, 1998

New Developments in Approximation Theory: 2nd International...
Author: Manfred Mueller , etc. ISBN: 9783764361433 Format: Hardback	$472.56
Read More >>

Vector and Parallel Processing - VECPAR'98: Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks

Vector and Parallel Processing - VECPAR'98: Third International...
Author: Jose M.L.M. Palma , Jack Dongarra ISBN: 9783540662280 Format: Paperback	$324.72
Read More >>

Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings

Conceptual Structures: Standards and Practices: 7th...
Author: William M. Tepfenhart , Walling Cyre ISBN: 9783540662235 Format: Paperback	$256.08
In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based... Read More >>

Recent Advances In Numerical Methods And Applications Ii - Proceedings Of The Fourth International Conference

Recent Advances In Numerical Methods And Applications...
Author: Panayot S Vassilevski (Bulgarian Academy Of Sciences, Bulgaria) , Blagovest H Sendov (Bulgarian Academy Of Sciences, Bulgaria) ISBN: 9789810238278 Format: Hardback	$369.60
This volume of proceedings seeks to reflect research trends in the specified areas of numerical methods and their... Read More >>

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

IFM’99: Proceedings of the 1st International Conference...
Author: Keijiro Araki , Andy Galloway ISBN: 9781852331078 Format: Paperback	$290.37
Formal methods have been established as the rigorous engineering methodology for the system development. Applying... Read More >>

Introduction to Circuit Complexity: A Uniform Approach

Introduction to Circuit Complexity: A Uniform Approach...
Author: Heribert Vollmer ISBN: 9783540643104 Format: Hardback	$314.16
This advanced textbook presents a broad view of the computational complexity theory of boolean circuits. It combines... Read More >>

Übersetzerbau: Techniken, Werkzeuge, Anwendungen

Übersetzerbau: Techniken, Werkzeuge, Anwendungen
Author: Ralf Hartmut Güting , Martin Erwig ISBN: 9783540653899 Format: Paperback	$158.27
Das Buch bietet eine kompakte Einführung in die Grundlagen und Techniken des Übersetzerbaus. Ein weiterer Schwerpunkt... Read More >>

Riemann Solvers and Numerical Methods for Fluid Dynamics: A Practical Introduction

Riemann Solvers and Numerical Methods for Fluid Dynamics:...
Author: E.F. Toro ISBN: 9783540659662 Format: Hardback	$604.56
High resolution upwind and centred methods are a generation of computational techniques applicable to a wide range... Read More >>

C++ Toolkit for Engineers and Scientists

C++ Toolkit for Engineers and Scientists
Author: James T. Smith ISBN: 9780387987972 Format: Mixed media product	$152.99
This guide covers fundamental aspects of the numerical analysis, basing upon it the construction of its routines... Read More >>

Nonlinear Filters for Image Processing

Nonlinear Filters for Image Processing
Author: Edward R. Dougherty (Texas A&M University) , Jaakko Astola (Tampere University of Technology) ISBN: 9780780353855 Format: Hardback	$366.95
This text covers key mathematical principles and algorithms for nonlinear filters used in image processing. It offers... Read More >>

Feedforward Neural Network Methodology

Feedforward Neural Network Methodology
Author: Terrence L. Fine ISBN: 9780387987453 Format: Hardback	$287.76
This monograph provides an introduction to the mathematical properties of feedforward neural networks and to the... Read More >>

An Introduction to Wavelets Through Linear Algebra

An Introduction to Wavelets Through Linear Algebra
Author: Michael W. Frazier ISBN: 9780387986395 Format: Hardback	$211.07
This text is intended to be an elementary introduction to wavelet theory. Read More >>

Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

Application and Theory of Petri Nets 1999: 20th International...
Author: Susanna Donatelli , Jetty Kleijn ISBN: 9783540661320 Format: Paperback	$224.27
Twenty-one revised full papers present research results on all aspects of Petri nets as well as advanced applications... Read More >>

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter

Logical Foundations for Cognitive Agents: Contributions...
Author: Hector J. Levesque , F. Pirri ISBN: 9783540660125 Format: Hardback	$211.07
The work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms... Read More >>

Parallel Algorithms For Knapsack Type Problems

Parallel Algorithms For Knapsack Type Problems
Author: Vassil N Aleksandrov (Univ Of Reading, Uk) , G M Megson (Univ Of Reading, Uk) ISBN: 9789810221201 Format: Hardback	$300.96
This text brings together current research directions in the mapping of dynamic programming problems classified... Read More >>

Optimal Design of Control Systems: Stochastic and Deterministic Problems (Pure and Applied Mathematics: A Series of Monographs and Textbooks/221)

Optimal Design of Control Systems: Stochastic and Deterministic...
Author: Gennadii E. Kolosov (Moscow University of Electronics & Mathematics, Russia) , Zuhair Nashed (University of Central Florida, Orlando, USA) ISBN: 9780824775377 Format: Hardback	$567.00
Read More >>

Number Theory in Science and Communication: With Applications in Cryptography, Physics, Digital Information, Computing and Self-similarity

Number Theory in Science and Communication: With Applications...
Author: Manfred R. Schroeder ISBN: 9783540620068 Format: Paperback	$192.59
Number Theory in Science and Communication is an introduction for non-mathematicians. The book stresses intuitive... Read More >>

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

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