Результаты поиска

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 /

Опубликовано 1991

Conference Proceeding ‌

2

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

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

Опубликовано 1988

Conference Proceeding ‌

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 /

Опубликовано 1988

Conference Proceeding ‌

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 /

Опубликовано 1990

Conference Proceeding ‌

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 /

Опубликовано 1990

Conference Proceeding ‌

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 /

Опубликовано 1990

Conference Proceeding ‌

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 /

Опубликовано 1991

Conference Proceeding ‌

8

Fundamentals of computation theory /

Fundamentals of computation theory /

Опубликовано 1985

Conference Proceeding ‌

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 /

Опубликовано 1989

Conference Proceeding ‌

10

Computers in mathematics /

Computers in mathematics /

Опубликовано 1990

Conference Proceeding ‌

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 /

Опубликовано 1993

Conference Proceeding ‌

12

Exploiting mental imagery with computers in mathematics education /

Exploiting mental imagery with computers in mathematics education /

Опубликовано 1995

Conference Proceeding ‌

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

Опубликовано 1992

Conference Proceeding ‌

14

Applications of discrete mathematics /

Applications of discrete mathematics /

Опубликовано 1988

Conference Proceeding ‌

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 /

Опубликовано 1990

Conference Proceeding ‌

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 /

Опубликовано 1993

Conference Proceeding ‌

17

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

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

Опубликовано 1973

Conference Proceeding ‌

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 /

Опубликовано 1992

Conference Proceeding ‌

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 /

Опубликовано 1992

Conference Proceeding ‌

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 /

Опубликовано 1977

Conference Proceeding ‌