### Computer science and applied mathematics

### 19 réponses.

**Andrews, Peter B.**
An introduction to mathematical logic and type theory: to truth through proof.
- Academic Press, 1986.
- (Computer science and applied mathematics).

**Axelsson, O. & Barker, V.A.**
Finite element solution of boundary value problems, theory and computation.
- Academic Press, 1984.
- (Computer science and applied mathematics).

**Uhr, Leonard**
Algorithm-structured computer arrays and networks architectures and processes for images, percepts, models, information.
- Academic Press, 1984.
- (Computer science and applied mathematics).

**Chatelin, Françoise**
Spectral approximation of linear operators.
- Academic Press, 1983.
- (Computer science and applied mathematics).

**Davis, Martin D. & Weyuker, Elaine J.**
Computability, complexity and languages. Fundamentals of theoretical computer science.
- Academic Press, 1983.
- (Computer science and applied mathematics).

**Gohberg, I. & Lancaster, P. & Rodman, L.**
Matrix polynomials.
- Academic Press, 1982.
- (Computer science and applied mathematics).

**Rosenfeld, Azriel & Kak, Avinash C.**
Digital picture processing, volume 1. Second edition.
- Academic Press, 1982.
- (Computer science and applied mathematics).

**Rosenfeld, Azriel & Kak, Avinash C.**
Digital picture processing, volume 2. Second edition.
- Academic Press, 1982.
- (Computer science and applied mathematics).

**Golumbic, Martin Charles**
Algorithmic graph theory and perfect graphs.
- Academic Press, 1980.
- (Computer science and applied mathematics).

**Kolman, Bernard & Beck, Robert E.**
Elementary linear programming with applications.
- Academic Press, 1980.
- (Computer science and applied mathematics).

**Hall, Ernest L.**
Computer image processing and recognition.
- Academic Press, 1979.
- (Computer science and applied mathematics).

**Rosenfeld, Azriel**
Picture languages, formal models for picture recognition.
- Academic Press, 1979.
- (Computer science and applied mathematics).

**Ames, William F.**
Numerical methods for partial differential equations. Second edition.
- Academic Press, 1977.
- (Computer science and applied mathematics).

**Nijenhuis, Albert & Wilf, Herbert S.**
Combinatorial algorithms.
- Academic Press, 1975.
- (Computer science and applied mathematics).

**Stewart, G.W.**
Introduction to matrix computations.
- Academic Press, 1973.
- (Computer science and applied mathematics).

**Yasuhara, Ann**
Recursive function theory and logic.
- Academic Press, 1971.
- (Computer science and applied mathematics).

**Young, David M.**
Iterative solution of large linear systems.
- Academic Press, 1971.
- (Computer science and applied mathematics).

**Ortega, J.M. & Rheinboldt, W.C.**
Iterative solution of nonlinear equations in several variables.
- Academic Press, 1970.
- (Computer science and applied mathematics).

**Klingen, Helmut**
Introductory lectures on Siegel modular forms.
- Cambridge University Press, 1990.
- (Computer science and applied mathematics; **20**).