Foundations of software technology and theoretical computer science.

Berlin ; | New York : Springer-Verlag, 1984 . v. : , Proceedings of: Conference on Foundations of Software Technology and Theoretical Computer Science. | Latest issue consulted: 24th (2004). 25 cm..

Place Hold on Foundations of software technology and theoretical computer science.

Symbolic computation :

Philadelphia : Society for Industrial and Applied Mathematics, 1989 . x, 185 p. : , The outgrowth of talks at the NASA-Ames Workshop on the Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering, which took place on January 15 and 16, 1987, at the NASA-Ames Research Center in Moffet Field, California"--Pref. 23 cm.. 0898712394

Place Hold on Symbolic computation :

NCRA-SIRC Search for 'su:Computer science and su:Congresses.'

Foundations of software technology and theoretical computer science.

Symbolic computation :