MPG.eBooks - Search Results

Cover Image

1

Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revi...

by Swart, Harrie C M
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

by Kirchner, Hélène
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

by Middeldorp, Aart
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

4

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 14th International Symposium, AAECC-14 Melbourne, Australia, November 26–30, 2001 Proceedings

by Boztaş, Serdar
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

5

Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings

by Haeberer, Armando M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

6

Almost Ring Theory

by Gabber, Ofer
Published 2003

Springer Berlin Heidelberg

Cover Image

7

Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

by Tison, Sophie
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

Galois Theory of Difference Equations

by Put, Marius van der
Published 1997

Springer Berlin Heidelberg

Cover Image

9

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

by Narendran, Paliath
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

10

Factorizable Sheaves and Quantum Groups

by Bezrukavnikov, Roman
Published 1998

Springer Berlin Heidelberg

Cover Image

11

Elliptic Genera and Vertex Operator Super-Algebras

by Tamanoi, Hirotaka
Published 1999

Springer Berlin Heidelberg

Cover Image

12

Semi-algebraic Function Rings and Reflectors of Partially Ordered Rings

by Schwartz, Niels
Published 1999

Springer Berlin Heidelberg

Cover Image

13

Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

by Eklund, Peter
Published 2004

Springer Berlin Heidelberg

Cover Image

14

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings...

by Calmet, Jacques
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

Manis Valuations and Prüfer Extensions I : A New Chapter in Commutative Algebra

by Knebusch, Manfred
Published 2002

Springer Berlin Heidelberg

Cover Image

16

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II

by Kakas, Antonis C
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

17

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15–19, 1999 Proceedings

by Fossorier, Marc
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

18

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 15th International Symposium, AAECC-15, Toulouse, France, May 12–16, 2003 Proceedings

by Fossorier, Marc
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

19

Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers

by Jazayeri, Mehdi
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

20

Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers

by Campbell, John A
Published 2001

Springer-Verlag Berlin Heidelberg

1
2