Suchergebnisse

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 /

Veröffentlicht 1991

Tagungsbericht Buch

2

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

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

Veröffentlicht 1988

Tagungsbericht Buch

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 /

Veröffentlicht 1988

Tagungsbericht Buch

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 /

Veröffentlicht 1990

Tagungsbericht Buch

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 /

Veröffentlicht 1990

Tagungsbericht Buch

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 /

Veröffentlicht 1990

Tagungsbericht Buch

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 /

Veröffentlicht 1991

Tagungsbericht Buch

8

Fundamentals of computation theory /

Fundamentals of computation theory /

Veröffentlicht 1985

Tagungsbericht Buch

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 /

Veröffentlicht 1989

Tagungsbericht Buch

10

Computers in mathematics /

Computers in mathematics /

Veröffentlicht 1990

Tagungsbericht Buch

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 /

Veröffentlicht 1993

Tagungsbericht Buch

12

Exploiting mental imagery with computers in mathematics education /

Exploiting mental imagery with computers in mathematics education /

Veröffentlicht 1995

Tagungsbericht Buch

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...

Veröffentlicht 1992

Tagungsbericht Buch

14

Applications of discrete mathematics /

Applications of discrete mathematics /

Veröffentlicht 1988

Tagungsbericht Buch

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 /

Veröffentlicht 1990

Tagungsbericht Buch

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 /

Veröffentlicht 1993

Tagungsbericht Buch

17

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

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

Veröffentlicht 1973

Tagungsbericht Buch

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 /

Veröffentlicht 1992

Tagungsbericht Buch

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 /

Veröffentlicht 1992

Tagungsbericht Buch

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 /

Veröffentlicht 1977

Tagungsbericht Buch