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).