Pagina nr. 112 di 1129

%

Computer aided verification - 3. international workshop, CAV '91 - Aalborg, Denmark, July 1-4, 1991 - proceedings / K. G. Larsen, A. Skou (eds.) Berlin etc. - Springer, c1992 Testo Monografico Computer aids to chemistry / editors G. Vernin and M. Chanon Chichester - Ellis Horwood Limited, c1986 Testo Monografico Computer aids to clinical decisions / editor Ben T. Williams Boca Raton - CRC press Testo Monografico Computer algebra / edited by David V. Chudnovsky, Richard D. Jenks New York ; Basel - Dekker, c1989 Testo Monografico Computer algebra - symbolic and algebraic computation / edited by B. Buchberger, G. E. Collins and R. Loos ; in cooperation with R. Albrecht Wien (etc.) - Springer-Verlag, c1983 Testo Monografico Computer algebra - symbolic and algebraic computation / editors B. Buchberger, G. E. Collins, R. Loos Wien - Springer-Verlag, c1982 Testo Monografico Computer algebra and differential equations / edited by E. Tournier Cambridge - Cambridge University Press, 1994 Testo Monografico Computer algebra and differential equations / edited by E. Tournier London (etc.) - Academic Press, (1990) Testo Monografico Computer algebra and parallelism - second international workshop - Ithaca, USA, May 9-11, 1990 - proceedings / R. E. Zippel (ed.) Berlin etc. - Springer, c1992 Testo Monografico Computer algebra handbook - foundations, applications, systems / Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning (Editors) Berlin (etc.) - Springer, c2003 Testo Monografico Computer algebra in industry 2. - problem solving in practice / edited by Arjeh M. Cohen (ed altri) Chichester (etc.) - Wiley, c1995 Testo Monografico Computer algebra in science and engineering - 28-31 august 1994. Bielefeld, Germany / editors J. Fleischer ... (ed altri) Singapore ; New Jersey ; London - World scientific, 1995 Testo Monografico Computer algebra symbolic and algebraic computation / edited by B. Buchberger, G. E. Collins and R. Loos, in cooperation with R. Albrecht Wien ; New York - Springer-Verlag, c1983 Testo Monografico Computer algebra symbolic and algebraic computation / edited by B. Buchberger, G.E. Collins, and R. Loos in cooperation with R. Albrecht Wien ; New York - Springer-Verlag, c1982 Testo Monografico Computer algebra systems - a practical guide / edited by Michael J. Wester Chichester (etc.) - John Wiley & Sons, 1999 Testo Monografico