MPG.eBooks - Search Results

Cover Image

1

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

by Asperti, Andrea
Published 2003

Springer Berlin Heidelberg

Cover Image

2

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

3

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

by Wirsing, Martin
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Finite Fields and Applications : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers

by Mullen, Gary L
Published 2004

Springer Berlin Heidelberg

Cover Image

5

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

6

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

by Buchberger, Bruno
Published 2004

Springer Berlin Heidelberg

Cover Image

7

ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

by Bowen, Jonathan P
Published 1997

Springer Berlin Heidelberg

Cover Image

8

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

by Comon, Hubert
Published 1997

Springer Berlin Heidelberg

Cover Image

9

Algorithmic Number Theory : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings

by Bosma, Wieb
Published 2000

Springer Berlin Heidelberg

Cover Image

10

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

11

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

12

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

13

LATIN'98: Theoretical Informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings

by Lucchesi, Claudio L
Published 1998

Springer Berlin Heidelberg

Cover Image

14

Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

by Rattray, Charles
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers

by Swart, Harrie de
Published 2003

Springer Berlin Heidelberg

Cover Image

16

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings

by Mora, Teo
Published 1997

Springer Berlin Heidelberg

Cover Image

17

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

18

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

19

Computational Neuroscience: Cortical Dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures

by Érdi, Péter
Published 2004

Springer Berlin Heidelberg

Cover Image

20

Algorithmic Number Theory : Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings

by Buhler, Joe P
Published 1998

Springer Berlin Heidelberg

1
2