Scientific Information Resource Centre, NCRA-TIFR

Your search returned 2 results.

|
1. Foundations of software technology and theoretical computer science.   Publication: 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. Date: 1984 Availability: Items available: National Centre for Radio Astrophysics General Stacks [681.3.06/JOS] (1),
2. Symbolic computation :   Publication: 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. Date: 1989 Availability: Items available: National Centre for Radio Astrophysics General Stacks [512.942/ GRO] (1),