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

Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

by Asperti, Andrea
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Mathematics of Surfaces : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings

by Wilson, Michael J
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Symbolic and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers

by Winkler, Franz
Published 2003

Springer Berlin Heidelberg

Cover Image

5

Fast Software Encryption : 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers

by Johansson, Thomas
Published 2003

Springer Berlin Heidelberg

Cover Image

6

Principles of Data Mining and Knowledge Discovery : 4th European Conference, PKDD 2000 Lyon, France, September 13–16, 2000 Proceedings

by Zighed, Djamel A
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

7

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

8

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

by Oostrom, Vincent van
Published 2004

Springer Berlin Heidelberg

Cover Image

10

Algorithmic Number Theory : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings

by Buell, Duncan
Published 2004

Springer Berlin Heidelberg

Cover Image

11

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

12

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings

by Rus, Teodor
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

13

Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings

by Bachmair, Leo
Published 2000

Springer Berlin Heidelberg

Cover Image

14

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

15

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

16

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

17

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

18

Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

by Ehrig, Hartmut
Published 2000

Springer Berlin Heidelberg

Cover Image

19

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

20

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

1
2