Rezultaty

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 /

Wydane 1991

Materiały konferencyjne Książka

2

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

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

Wydane 1988

Materiały konferencyjne Książka

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 /

Wydane 1988

Materiały konferencyjne Książka

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 /

Wydane 1990

Materiały konferencyjne Książka

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 /

Wydane 1990

Materiały konferencyjne Książka

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 /

Wydane 1990

Materiały konferencyjne Książka

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 /

Wydane 1991

Materiały konferencyjne Książka

8

Fundamentals of computation theory /

Fundamentals of computation theory /

Wydane 1985

Materiały konferencyjne Książka

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 /

Wydane 1989

Materiały konferencyjne Książka

10

Computers in mathematics /

Computers in mathematics /

Wydane 1990

Materiały konferencyjne Książka

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 /

Wydane 1993

Materiały konferencyjne Książka

12

Exploiting mental imagery with computers in mathematics education /

Exploiting mental imagery with computers in mathematics education /

Wydane 1995

Materiały konferencyjne Książka

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

Wydane 1992

Materiały konferencyjne Książka

14

Applications of discrete mathematics /

Applications of discrete mathematics /

Wydane 1988

Materiały konferencyjne Książka

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 /

Wydane 1990

Materiały konferencyjne Książka

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 /

Wydane 1993

Materiały konferencyjne Książka

17

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

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

Wydane 1973

Materiały konferencyjne Książka

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 /

Wydane 1992

Materiały konferencyjne Książka

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 /

Wydane 1992

Materiały konferencyjne Książka

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 /

Wydane 1977

Materiały konferencyjne Książka