Applications of Computer Algebra /

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

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

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

Advances in the Design of Symbolic Computation Systems /
by: Miola, Alfonso
Published: (1997)

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

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

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

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

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

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

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

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

Algorithmic Methods in Non-Commutative Algebra : Applications to Quantum Groups /
by: Bueso, José
Published: (2003)

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

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)

Call-By-Push-Value : A Functional/Imperative Synthesis /
by: Levy, Paul Blain
Published: (2003)

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)

Commutative Algebra, Singularities and Computer Algebra : Proceedings of the NATO Advanced Research Workshop on Commutative Algebra, Singularities and Computer Algebra Sinaia, Romania 17-22 September 2002 /
by: Herzog, Jürgen, 1941-
Published: (2003)

Computational Algebra and Number Theory /
by: Bosma, Wieb
Published: (1995)

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

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)

Computations in Algebraic Geometry with Macaulay 2 /
by: Eisenbud, David
Published: (2002)

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

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

Algorithms in Real Algebraic Geometry /
by: Basu, Saugata
Published: (2003)

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

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

Algebras and applications.

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

Maple V programming guide /
Published: (1998)

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

Sequences and their Applications : Proceedings of SETA '98 /
by: Ding, C.
Published: (1999)

Symbolic Integration I : Transcendental Functions /
by: Bronstein, Manuel
Published: (1997)

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