Search Results

1

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /

Published 1991

Conference Proceeding Book

2

Computers in mathematical research : based on the proceedings of a conference /

Computers in mathematical research : based on the proceedings of a conference /

Published 1988

Conference Proceeding Book

3

MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings /

MFDBS 87 : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987 : proceedings /

Published 1988

Conference Proceeding Book

4

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /

Published 1990

Conference Proceeding Book

5

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /

Published 1990

Conference Proceeding Book

6

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /

Published 1990

Conference Proceeding Book

7

MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings /

MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings /

Published 1991

Conference Proceeding Book

8

Fundamentals of computation theory /

Fundamentals of computation theory /

Published 1985

Conference Proceeding Book

9

Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings /

Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings /

Published 1989

Conference Proceeding Book

10

Computers in mathematics /

Computers in mathematics /

Published 1990

Conference Proceeding Book

11

Nonlinear problems in accelerator physics : proceedings of the International Workshop on Nonlinear Problems in Accelerator Physics held in Berlin, Germany, 30 March-2 April 1992 /

Nonlinear problems in accelerator physics : proceedings of the International Workshop on Nonlinear Problems in Accelerator Physics held in Berlin, Germany, 30 March-2 April 1992 /

Published 1993

Conference Proceeding Book

12

Exploiting mental imagery with computers in mathematics education /

Exploiting mental imagery with computers in mathematics education /

Published 1995

Conference Proceeding Book

13

Expert systems for scientific computing : proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April, 1990 /

Expert systems for scientific computing : proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April...

Published 1992

Conference Proceeding Book

14

Applications of discrete mathematics /

Applications of discrete mathematics /

Published 1988

Conference Proceeding Book

15

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /

Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings /

Published 1990

Conference Proceeding Book

16

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings /

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings /

Published 1993

Conference Proceeding Book

17

Combinatorial algorithms : Courant Computer Science Symposium 9: January 24-25, 1972 /

Combinatorial algorithms : Courant Computer Science Symposium 9: January 24-25, 1972 /

Published 1973

Conference Proceeding Book

18

Computational and applied mathematics, I : algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991 /

Computational and applied mathematics, I : algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991 /

Published 1992

Conference Proceeding Book

19

International Symposium on Symbolic and Algebraic Computation '92 : July 27-29, Berkeley California /

International Symposium on Symbolic and Algebraic Computation '92 : July 27-29, Berkeley California /

Published 1992

Conference Proceeding Book

20

Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 /

Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 /

Published 1977

Conference Proceeding Book

1
2
Next
[2]