1
Finite Fields and Applications [E-Book] : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers /
2
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /
3
Algorithmic Number Theory [E-Book] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings /
4
Algebraic Methodology and Software Technology [E-Book] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
5
Artificial Intelligence and Symbolic Computation [E-Book] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings /
6
Rewriting Techniques and Applications [E-Book] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings /
7
Computational Neuroscience: Cortical Dynamics [E-Book] : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures /
8
Fast Software Encryption [E-Book] : 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers /
9
Recent Trends in Algebraic Development Techniques [E-Book] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
10
Mathematics of Surfaces [E-Book] : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings /
11
Theory and Applications of Relational Structures as Knowledge Instruments [E-Book] : COST Action 274, TARSKI, Revised Papers /
12
Mathematical Knowledge Management [E-Book] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
13
Algorithmic Number Theory [E-Book] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings /
14
Theory and Application of Graph Transformations [E-Book] : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
15
Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings [E-Book] /
16
Algorithmic Number Theory [E-Book] : Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings /
17
LATIN'98: Theoretical Informatics [E-Book] : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings /
18
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
19
ZUM'97: The Z Formal Specification Notation [E-Book] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
20
Rewriting Techniques and Applications [E-Book] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /