Mathematical theory of computation books

11108 books were found.

Adaptive Control, Filtering, and Signal Processing

Adaptive Control, Filtering, and Signal Processing
Author: K.J. Aström , G.C. Goodwin ISBN: 9780387979885 Format: Hardback	$422.40
The area of adaptive systems, which encompasses recursive identification, adaptive control, filtering, and signal... Read More >>

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers

Recent Trends in Data Type Specification: 10th Workshop...
Author: Egidio Astesiano , Gianna Reggio ISBN: 9783540591320 Format: Paperback	$256.08
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation... Read More >>

Control and Optimal Design of Distributed Parameter Systems

Control and Optimal Design of Distributed Parameter...
Author: John E. Lagnese , David L. Russell ISBN: 9780387944906 Format: Hardback	$261.36
Read More >>

Linear Algebra for Signal Processing

Linear Algebra for Signal Processing
Author: Adam Bojanczyk , George Cybenko ISBN: 9780387944913 Format: Hardback	$380.16
Signal processing applications have burgeoned in the past decade. it brings together the writings of signal processing... Read More >>

Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Alès, France, 1995

Artificial Neural Nets and Genetic Algorithms: Proceedings...
Author: David W. Pearson , Nigel C. Steele ISBN: 9783211826928 Format: Paperback	$369.60
Artificial neural networks and genetic algorithms both are areas of research which have their origins in mathematical... Read More >>

Binary Polynomial Transforms and Non-Linear Digital Filters

Binary Polynomial Transforms and Non-Linear Digital...
Author: S. Agaian (Tufts University, Medford, Massachusetts, USA) , Jaakko Astola (Tampere University of Technology, Finland) ISBN: 9780824796426 Format: Hardback	$599.15
Offers a presentation of the theory of binary polynomial transforms and details their applications in nonlinear... Read More >>

Network Optimization

Network Optimization
Author: V. Balakrishnan (University of Maine) ISBN: 9780412556708 Format: Hardback	$152.00
Topics include optimal branching problems, trans-shipment problems, shortest path problems, minimum cost flow problems,... Read More >>

Robust Control Theory

Robust Control Theory
Author: B.A. Francis (University of Toronto, Canada) , P.P. Khargonekar (University of Michigan, Ann Arbor, USA) ISBN: 9780387944432 Format: Hardback	$211.07
Read More >>

Handbook of Logic in Artificial Intelligence and Logic Programming

Handbook of Logic in Artificial Intelligence and Logic...
Author: Dov M. Gabbay , etc. ISBN: 9780198537915 Format: Hardback	$825.00
A survey of the applications of logic in AI, the Handbook of Logic in Artificial Intelligence and Logic Programming... Read More >>

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994

Functional Programming, Glasgow 1994: Proceedings of...
Author: Kevin Hammond , David N. Turner ISBN: 9783540199144 Format: Paperback	$168.83
The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional... Read More >>

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

Typed Lambda Calculi and Applications: Second International...
Author: Mariangiola Dezani-Ciancaglini , Gordon Plotkin ISBN: 9783540590484 Format: Paperback	$258.72
The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as... Read More >>

Algorithms and Parallel VLSI Architectures III

Algorithms and Parallel VLSI Architectures III
Author: M. Moonen (Katholieke Universiteit Leuven, Department ESAT/Elektrotechniek, Leuven, Belgium) , F. Catthoor (IMEC, Leuven, Belgium) ISBN: 9780444821065 Format: Hardback	$752.40
Provides a comprehensive overview of the evolution of research in algorithms, architectures and compilation for... Read More >>

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten...
Author: Jürgen Avenhaus ISBN: 9783540585596 Format: Paperback	$68.64
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen... Read More >>

Database Systems For Advanced Applications '95 - Proceedings Of The Fourth International Conference

Database Systems For Advanced Applications '95 - Proceedings...
Author: Wang Ling Tok (Nus, S'pore) , Yoshifumi Masunaga (Ochanomizu Univ, Japan) ISBN: 9789810222208 Format: Hardback	$475.20
This volume contains three keynote papers and 51 technical papers from contributors around the world on topics in... Read More >>

Wavelets

Wavelets
Author: Matthias Holschneider ISBN: 9780198534815 Format: Hardback	$170.00
Wavelet analysis is a growing field of research which has found many applications ranging from signal data analysis... Read More >>

New Monte Carlo Methods with Estimating Derivatives

New Monte Carlo Methods with Estimating Derivatives...
Author: G. A. Mikhailov ISBN: 9789067641906 Format: Hardback	$525.36
Read More >>

Informatiker in der Wirtschaft: Perspektiven eines Berufs

Informatiker in der Wirtschaft: Perspektiven eines Berufs...
Author: Michael Hartmann ISBN: 9783540585572 Format: Paperback	$89.76
Die Informatiker sind eine Berufsgruppe mit sehr hohen Zuwachsraten. Sie gelten als die Protagonisten der häufig... Read More >>

Kommunikation in Verteilten Systemen: Neue Länder — Neue Netze — Neue Dienste. GI/ITG-Fachtagung Chemnitz-Zwickau, 22.–24. Februar 1995

Kommunikation in Verteilten Systemen: Neue Länder —...
Author: K. Franke , Uwe Hübner ISBN: 9783540589600 Format: Paperback	$237.60
GI/ITG Fachtagung, Chemnitz-Zwickau, 22.-24. Februar 1995 Read More >>

Approximation and Computation: A Festschrift in Honor of Walter Gautschi: Proceedings of the Purdue Conference, December 2–5, 1993

Approximation and Computation: A Festschrift in Honor...
Author: R.V.M. Zahar ISBN: 9780817637538 Format: Hardback	$456.72
Read More >>

Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches...
Author: J. Cunningham , Jochen Pfalzgraf (University of Linz, Austria) ISBN: 9783211826003 Format: Paperback	$184.67
Read More >>

Theories And Experiences For Real-time System Development

Theories And Experiences For Real-time System Development...
Author: Charles Rattray (Univ Of Stirling, Uk) , Teodor Rus (Univ Of Iowa, Usa) ISBN: 9789810219239 Format: Hardback	$295.68
Read More >>

Collegium Logicum

Collegium Logicum
Author: Kurt Godel Gesellschaft ISBN: 9783211826461 Format: Paperback	$129.36
Covers a wide range of topics ranging from mathematical to philosophical logic, including logic in computer science,... Read More >>

An Introduction to Scientific, Symbolic, and Graphical Computation

An Introduction to Scientific, Symbolic, and Graphical...
Author: Eugene Fiume ISBN: 9781568810515 Format: Hardback	$189.00
Read More >>

Vererbung für Systementwickler: Grundlagen und Anwendungen

Vererbung für Systementwickler: Grundlagen und Anwendungen...
Author: Jürgen Kunz ISBN: 9783528053086 Format: Paperback	$184.77
Vor allem im Zusammenhang mit der Objektorientiertheit kommt der Verer- bung in der Informatik eine stetig wachsende... Read More >>

Foundation Discrete Mathematics for Computing

Foundation Discrete Mathematics for Computing
Author: DEXTER J. BOOTH ISBN: 9780412562808 Format: Paperback	$189.95
Read More >>

Page 409 of 445 ... 404 405 406 407 408 409 410 411 412 413 ...

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