Rewriting techniques and applications : Dijon, France, May 20-22, 1985 /

Έκδοση 1985

Rewriting techniques and applications : Bordeaux, France, May 1987, proceedings /

Έκδοση 1987

From logic design to logic programming : theorem proving techniques and P-functions /

ανά Snyers, D.
Έκδοση 1987

Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings /

Έκδοση 1992

Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 1991 : proceedings /

Έκδοση 1991

Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 1994 : proceedings /

Έκδοση 1994

Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings /

Έκδοση 1993

Towards dynamic randomized algorithms in computational geometry /

ανά Teillaud, Monique, 1961-
Έκδοση 1993

ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings /

Έκδοση 1991

Distributed algorithms : 4th international workshop, Bari, Italy, September 24-26, 1990 : proceedings /

Έκδοση 1991

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings /

Έκδοση 1989

Applied algebra, algebraic algorithms, and error-correcting codes : 6th international conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings /

Έκδοση 1989

Applied algebra, algebraic algorithms, and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings /

Έκδοση 1989

Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings /

Έκδοση 1989

Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings /

Έκδοση 1989

Distributed algorithms : 3rd international workshop, Nice, France, September 1989 : proceedings /

Έκδοση 1989

Algorithms for parallel polygon rendering /

ανά Theoharis, Theoharis, 1964-
Έκδοση 1989

Applied algebra, algebraic algorithms and error-correcting codes : 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990 : proceedings /

Έκδοση 1991

Fundamental algorithms for permutation groups /

ανά Butler, G. (Gregory), 1953-
Έκδοση 1991

Algorithm theory-- SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings /

Έκδοση 1996