| 1 |
Introduction to matrix computations / G.W. Stewart
New York : Academic Press , c1973
|
| 2 |
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
: pbk.. - Orlando ; Tokyo : Academic Press , 1986
|
| 3 |
Numerical methods of mathematical optimization with ALGOL and FORTRAN programs / Hans P. Künzi, H.G. Tzschach, C.A. Zehnder ; translated by Werner C. Rheinboldt and Cornelie J. Rheinboldt
New York : Academic Press , 1968
|
| 4 |
Recursive function theory and logic
New York : Academic Press , 1971
|
| 5 |
Social issues in computing / C.C. Gotlieb and A. Borodin
New York : Academic Press , c1973
|
| 6 |
Data base organization for data management / Sakti P. Ghosh
New York : Academic Press , 1977
|
| 7 |
Data base management systems / by Dionysios C. Tsichritzis, Frederick H. Lochovsky
New York : Academic Press , c1977
|
| 8 |
Computer organization and assembly language programming / James L. Peterson
New York : Academic Press , c1978
|
| 9 |
Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee
New York : Academic Press , [1973]
|
| 10 |
Principles of mathematical modeling / Clive L. Dym, Elizabeth S. Ivey
New York : Academic Press , c1980
|
| 11 |
Constrained optimization and Lagrange multiplier methods / Dimitri P. Bertsekas
New York : Academic Press , 1982
|
