162 treff

algebra databehandling
The complexity of Boolean networks
Paul E. Dunne
Bok Språk ikke angitt 1988 · Vis mer
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
ASM 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic theory of processes
Matthew Hennessy
Bok Engelsk 1988 · Vis mer
Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
AMS-IMS-SIAM Joint Summer Research Conference on SymbolicComputation: Solving Equations in Algebra, Geometry, and Engineering
Bok Engelsk 2001 · Vis mer
Numerical linear algebra for high-performance computers
Jack J. Dongarra ... [et al.]
Bok Engelsk 1998 · Vis mer
Computational algebra and number theory
edited by Wieb Bosma and Alf van der Poor...
Bok Engelsk 1995 · Vis mer
The Maple V handbook
Martha L. Abell, James P. Braselton
Bok Engelsk 1994 · Vis mer
Maple V quick reference
Nancy R. Blachman and Michael J. Mossingh...
Bok Engelsk 1994 · Vis mer
Self-tutor for computer calculus using Maple
Burbulla, D. C. M.
Bok Engelsk 1993 · Vis mer
Topics in computational algebra
edited by G. M. Piacentini Cattaneo and E...
Bok Engelsk 1990 · Vis mer
Algebraic methods in semantics
edited by Maurice Nivat, John C. Reynolds...
Bok Språk ikke angitt 1985 · Vis mer
Applications of computer algebra
edited by Richard Pavelle
Bok Språk ikke angitt 1985 · Vis mer
The multifrontal solution of indefinite sparse symmetric linear systems
Duff, I.S.
Bok Språk ikke angitt 1982 · Vis mer
Applied algebra, algebraic algorithms, and error-correcting codes : 16th international symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006 : proceedings
AAECC-16
Bok Engelsk 2006 · Vis mer
Computer algebra handbook : foundations, applications, systems
Johannes Grabmeier, Erich Kaltofen, Volke...
Bok Engelsk 2003 · Vis mer
Applied algebra, algebraic algorithms, and error-correcting codes : 15th international symposium, AAECC-15, Toulouse, France, May 12-16, 2003 : proceedings
AAECC-15
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001
Bok Engelsk 2001 · Vis mer
Applied algebra, algebraic algorithms and error-correcting codes : 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings
AAECC-14
Bok Engelsk 2001 · Vis mer
Computer algebra methods for equivariant dynamical systems
Karin Gatermann
Bok Engelsk 2000 · Vis mer
Applied algebra, algebraic algorithms and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
AAECC-13
Bok Engelsk 1999 · Vis mer
Programming languages for computer algebra
Patrik Hägglund
Bok Engelsk 1998 · Vis mer
Applied algebra, algebraic algorithms, and error-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings
AAECC-12
Bok Engelsk 1997 · Vis mer
Calculii for algebraic specifications of nondeterminism : three completeness results
Michał Walicki
Bok Engelsk 1992 · Les boka på nett · Vis mer
Mathematics for data processing
Clark, Frank James
Bok Engelsk 1974 · Vis mer
An Introduction to Writing Grant Proposals

Bok Engelsk · Les boka på nett · Vis mer
Computational methods in commutative algebra and algebraic geometry
Wolmer V. Vasconcelos ; with chapters by ...
Bok Engelsk 1998 · Vis mer
Applied algebra, algebraic algorithms and error-correcting codes : 11th international symposium, AAECC-11, Paris, France, July 17-22, 1995 : proceedings
AAECC-11
Bok Engelsk 1995 · Vis mer
A guide to computer algebra systems
David Harper, Chris Wooff, David Hodgkins...
Bok Engelsk 1991 · Vis mer
Computational methods of linear algebra
Granville Sewell
Bok Språk ikke angitt 1990 · Vis mer