Search alternatives:
live-algebra » life-algebra
like-algebra » life-algebra

1
by Heinig, G., Rost
Published 1984
Birkhäuser

2
Published 2001
Springer US
Table of Contents: ... Process Algebra -- Testing Liveness Properties -- SVL: A Scripting Language for Compositional Verification...

3
by McCune, William, Padmanabhan, R.
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...-like algebras -- Independent self-dual bases -- Miscellaneous topics...

4
by Cherednik, Ivan, Markov, Yavor, Howe, Roger E., Lusztig, George
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...: Affine-like Hecke algebras and p-adic representation theory -- G. Lusztig: Notes on affine Hecke algebras...

5
by Runde, Volker
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Exemples of amenable Banach algebras -- Amenability-like properties -- Banach homology -- C* and W...

6
Published 2003
Springer Netherlands
Subjects: ...Associative algebras...

7
by Rade, Lennart, Westergren, Bertil
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...1 Fundamentals. Discrete Mathematics -- 2 Algebra -- 3 Geometry and Trigonometry -- 4 Linear...

8
Published 1989
Springer New York
Table of Contents: ...-Modules Over Hypersurface Rings -- Differential Structure of Étale Extensions of Polynomial Algebras...

9
by Geddes, Keith O., Czapor, Stephen R., Labahn, George
Published 1992
Springer US
Table of Contents: ...to Computer Algebra -- Algebra of Polynomials, Rational Functions, and Power Series -- Normal Forms...

10
by Mikhalev, Alexander V., Pilz, G.F.
Published 2002
Springer Netherlands
Table of Contents: ...A Semigroups -- B Groups -- C Rings, Modules, Algebras -- D Fields -- E Representation Theory -- F...

11
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point...

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...1. New Algebraic Tools for Classical Geometry -- 2. Generalized Homogeneous Coordinates...

13
Published 1973
Springer Berlin Heidelberg
Table of Contents: ... -- A note on the faithfulness of the functor S R(?) -- On a problem in linear algebra -- Maximal ideals...

14
by Kitahara, Kazuaki
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... of haar-like spaces of F[a, b] -- Approximation by vector-valued monotone increasing or convex functions...

15
by Ghilardi, Silvio, Zawadowski, M.
Published 2002
Springer Netherlands
Table of Contents: ...1. Introduction -- 2. Preliminary Notions -- 3. Model Completions -- 4. Heyting Algebras -- 5...

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: .../Isar -- A Calculus of Typed Relations -- Greedy-Like Algorithms in Modal Kleene Algebra -- Rasiowa...

17
by Suris, Yuri B.
Published 2003
Birkhäuser
Table of Contents: ... Mechanics -- 19 Peakons System -- 20 Standard-like Discretizations -- 21 Lie-algebraic Toda Systems -- 22...

18
by Christensen, Lars W.
Published 2000
Springer Berlin Heidelberg
Subjects: ...Algebra...

19
by Prestel, Alexander, Delzell, Charles
Published 2001
Springer Berlin Heidelberg
Table of Contents: .... Bounds -- Appendix: Valued Fields -- A.1 Valuations -- A.2 Algebraic Extensions -- A.3 Henselian Fields...

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Characterization -- 1.3 Impact on Education -- 1.4 Impact on Research -- 1.5 Computer Algebra — Today and Tomorrow...