Mathematical theory of computation books

11108 books were found.

Adaptive Signal Processing Algorithms: Stability and Performance

Adaptive Signal Processing Algorithms: Stability and...
Author: Victor Solo , Xuan Kong ISBN: 9780135012635 Format: Hardback	$372.24
For graduate-level courses in Adaptive Controls and Adaptive Filters. This exploration of the analysis of the behavior... Read More >>

Computer Algorithms: String Pattern Matching Strategies

Computer Algorithms: String Pattern Matching Strategies...
Author: Jun-ichi Aoe ISBN: 9780818654626 Format: Paperback	$195.23
Introduces the basic concepts and characteristics of string pattern matching strategies and provides numerous references... Read More >>

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings

Results and Trends in Theoretical Computer Science:...
Author: Juliani Karhumäki , Hermann Maurer ISBN: 9783540581314 Format: Paperback	$237.47
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The volume reflects the... Read More >>

Computational Techniques And Applications - Proceedings Of The Sixth Biennial Conference

Computational Techniques And Applications - Proceedings...
Author: Henry J Gardner (Australian Nat'l Univ, Australia) , David Singleton (Australian Nat'l Univ, Australia) ISBN: 9789810214944 Format: Hardback	$525.36
Presents papers on computational mathematics; development, implementation and application of numerical algorithms;... Read More >>

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Types for Proofs and Programs: International Workshop...
Author: Henk Barendregt , Tobias Nipkow ISBN: 9783540580850 Format: Paperback	$197.87
This volume contains research papers devoted to the theoretical foundations, design and application of computer... Read More >>

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Mathematical Foundations of Programming Semantics: 9th...
Author: Stephen Brookes , Michael Main ISBN: 9783540580270 Format: Paperback	$287.76
Read More >>

Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings

Graph-Theoretic Concepts in Computer Science: 19th International...
Author: Jan van Leeuwen ISBN: 9783540578994 Format: Paperback	$218.99
The papers are grouped into parts on: hard problems on classes of graphs, structural graph theory, dynamic graph... Read More >>

Advances in Model-Based Predictive Control

Advances in Model-Based Predictive Control
Author: David Clarke (Professor of Control Engineering, Department of Engineering Science, Professor of Control Engineering, Department of Engineering Science, University of Oxford) ISBN: 9780198562924 Format: Hardback	$206.95
Read More >>

Numerical Methods and Scientific Computing: Using Software Libraries for Problem Solving

Numerical Methods and Scientific Computing: Using Software...
Author: Norbert Köckler (Professor, Professor, University of Paderborn, Germany) ISBN: 9780198596981 Format: Hardback	$122.95
Read More >>

Parallel and Distributed Computing: Theory and Practice: Theory and Practice. First Canada-France Conference, Montreal, Canada, May 19 - 21, 1994. Proceedings

Parallel and Distributed Computing: Theory and Practice:...
Author: Michel Cosnard , Afonso Ferreira ISBN: 9783540580782 Format: Paperback	$171.47
All together the papers provide a highly competent perspective on research in parallel algorithms and complexity,... Read More >>

Finite Automata, Formal Logic, and Circuit Complexity

Finite Automata, Formal Logic, and Circuit Complexity...
Author: Howard Straubing ISBN: 9780817637194 Format: Hardback	$330.00
Read More >>

Advances In Computational Mathematics: New Delhi, India - Proceedings Of The Conference

Advances In Computational Mathematics: New Delhi, India...
Author: H P Dikshit (Indira Gandhi National Open Univ, India) , Charles A Micchelli (State Univ Of New York, Usa) ISBN: 9789810216337 Format: Hardback	$316.80
This volume includes chapters on the following topics: finite element for Kirchoff and Mindlin-Reissner plates;... Read More >>

New Algorithms for Variable Time Delay and Nonuniform Image Motion Estimation

New Algorithms for Variable Time Delay and Nonuniform...
Author: Nader M. Namazi ISBN: 9780893918477 Format: Hardback	$74.91
Read More >>

Recursive Algorithms

Recursive Algorithms
Author: Richard J. Lorentz ISBN: 9780893919139 Format: Hardback	$74.91
Read More >>

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Higher Order Logic Theorem Proving and Its Applications:...
Author: Jeffrey J. Joyce , Carl-Johan H. Seger ISBN: 9783540578260 Format: Paperback	$258.72
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the... Read More >>

Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings

Algebraic Coding: First French-Israeli Workshop, Paris,...
Author: Gerard Cohen , Simon Litsyn ISBN: 9783540578437 Format: Paperback	$197.87
The thoroughly refereed papers in this volume are grouped into parts on: convolutional codes and special channels,... Read More >>

Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles...
Author: Wen-tsün Wu , X. Jin ISBN: 9783211825068 Format: Paperback	$295.68
"" Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented... Read More >>

Topics in Nonlinear Dynamics with Computer Algebra

Topics in Nonlinear Dynamics with Computer Algebra
Author: R.H. Rand ISBN: 9782884491136 Format: Hardback	$263.87
Presents topics in nonlinear dynamics, simply explained and modernized through the use of the MACSYMA computer algebra... Read More >>

Developments In Language Theory: At The Crossroads Of Mathematics, Computer Sci And Biology

Developments In Language Theory: At The Crossroads Of...
Author: Grzegorz Rozenberg (Univ Of Leiden, The Netherlands) , Arto Salomaa (Turku Centre For Computer Science, Finland) ISBN: 9789810216450 Format: Hardback	$477.84
Provides a synopsis of recent studies concerning certain areas of language theory close to applications. Topics... Read More >>

Concrete Mathematics: A Foundation for Computer Science

Concrete Mathematics: A Foundation for Computer Science...
Author: Ronald Graham , Donald Knuth ISBN: 9780201558029 Format: Hardback	$211.17
This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms.... Read More >>

Multigrid Methods IV: Proceedings of the Fourth European Multigrid Conference, Amsterdam, July 6-9, 1993

Multigrid Methods IV: Proceedings of the Fourth European...
Author: P.W. Hemker , Pieter Wesseling ISBN: 9783764350307 Format: Hardback	$440.88
Read More >>

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor...
Author: Neil Jones , Masami Hagiya ISBN: 9783540579359 Format: Paperback	$179.39
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong.... Read More >>

Computation and Reasoning: A Type Theory for Computer Science

Computation and Reasoning: A Type Theory for Computer...
Author: Zhaohui Luo (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB, Edinburgh) ISBN: 9780198538356 Format: Hardback	$171.95
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer... Read More >>

Graph Transformations in Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings

Graph Transformations in Computer Science: International...
Author: Hans J. Schneider , Hartmut Ehrig ISBN: 9783540577874 Format: Paperback	$218.99
The research area of graph grammars and graph transformations dates back only two decades. Read More >>

Trees in Algebra and Programming - CAAP '94: 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Trees in Algebra and Programming - CAAP '94: 19th International...
Author: Sophie Tison ISBN: 9783540578796 Format: Paperback	$197.87
This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming... Read More >>

Page 413 of 445 ... 408 409 410 411 412 413 414 415 416 417 ...

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