Sensation and Measurement : Papers in Honor of S.S. Stevens /

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Computer Algebra with LISP and REDUCE : an Introduction to Computer-aided Pure Mathematics /
by: Brackx, F.
Published: (1991)

Computer Algebra Recipes : A Gourmet's Guide to the Mathematical Models of Science /
by: Enns, Richard H.
Published: (2001)

LISP Lore: A Guide to Programming the LISP Machine /
by: Bromley, Hank
Published: (1987)

Lisp Lore: A Guide to Programming the Lisp Machine /
by: Bromley, Hank
Published: (1986)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Pi - Unleashed /
by: Arndt, Jörg
Published: (2001)

Tool Support for System Specification, Development and Verification /
by: Berghammer, Rudolf
Published: (1999)

Ten Lectures on Statistical and Structural Pattern Recognition /
by: Schlesinger, Michail I.
Published: (2002)

Applied Laplace Transforms and z-Transforms for Scientists and Engineers : A Computational Approach using a Mathematica Package /
by: Graf, Urs
Published: (2004)

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)

Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)

Topics in Computational Algebra /
by: Cattaneo, G. M. Piacentini
Published: (1990)

Advanced Relational Programming /
by: Cacace, Filippo
Published: (1996)

Parallel Algorithms for Irregular Problems: State of the Art /
by: Ferreira, Afonso
Published: (1995)

Computer algebra and symbolic computation : mathematical methods /
by: Cohen, Joel S.
Published: (2003)

Maple V programming guide /
Published: (1998)

Symbolic Algebraic Methods and Verification Methods /
by: Alefeld, Götz
Published: (2001)

SymbolicC++ : an Introduction to Computer Algebra using Object-Oriented Programming /
by: Shi, Tan Kiat
Published: (2000)

Petri Net Algebra /
by: Best, Eike
Published: (2001)

Introduction to Maple /
by: Heck, A. (André)
Published: (2003)

Symbolic Asymptotics /
by: Shackell, John R.
Published: (2004)

Applications of Computer Technology to Dynamical Astronomy : Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27-29 July 1988 /
by: Seidelmann, P. Kenneth
Published: (1989)

Resolution Proof Systems : An Algebraic Theory /
by: Stachniak, Zbigniew
Published: (1996)

Proceedings of the 1977 MACSYMA Users' Conference /
Published: (1977)

Elimination Methods /
by: Wang, Dongming
Published: (2001)

Geometric Modelling : Dagstuhl 1993 /
by: Hagen, H.
Published: (1995)

Geometric Modelling /
by: Farin, G.
Published: (1993)

Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings /
Published: (1992)

A Singular Introduction to Commutative Algebra /
by: Greuel, G.-M. (Gert-Martin)
Published: (2002)

Some Tapas of Computer Algebra /
by: Cohen, Arjeh M.
Published: (1999)

Automated Practical Reasoning : Algebraic Approaches /
by: Pfalzgraf, Jochen
Published: (1995)

Probabilistic Methods for Algorithmic Discrete Mathematics /
by: Habib, M. (Michel)
Published: (1998)

Thirty Five Years of Automating Mathematics /
by: Kamareddine, Fairouz D.
Published: (2003)

Algebra, Geometry and Software Systems /
by: Joswig, Michael
Published: (2003)