Suggested Topics within your search.
Showing 1 - 20 results of 33 for search '', query time: 0.21s Refine Results
2
Advances in intelligent data analysis : reasoning about data : second international symposium, IDA-97, London, UK, August 4-6, 1997 : proceedings /
Berlin ; New York : Springer, 1997

Conference Proceeding Book
3
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings /
Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding Book
4
CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings /
Berlin ; New York : Springer-Verlag, 1986

Conference Proceeding Book
5
Computer-aided verification : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book
6
Applicable algebra, error-correcting codes, combinatorics and computer algebra : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Conference Proceeding Book
8
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /
Berlin ; New York : Springer, 1995

Conference Proceeding Book
9
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book
10
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book
11
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Conference Proceeding Book
12
Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book
14
Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, September 23-25, 1996 : selected papers /
Berlin ; New York : Springer, 1997

Conference Proceeding Book
15
Next generation information technology and systems : 4th International Workshop, NGITS'99, Zikhron-Yaʻaḳov, Israel, July 1999 : proceedings /
Berlin ; New York : Springer, 1999

Conference Proceeding Book
16
MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book
17
MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1988

Conference Proceeding Book
18
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book
19
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings /
Berlin ; New York : Springer-Verlag, 1989

Conference Proceeding Book
20
Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search