Søgeresultater

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 /

Udgivet 1991

Conference Proceeding Bog

2

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

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

Udgivet 1988

Conference Proceeding Bog

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 /

Udgivet 1988

Conference Proceeding Bog

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 /

Udgivet 1990

Conference Proceeding Bog

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 /

Udgivet 1990

Conference Proceeding Bog

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 /

Udgivet 1990

Conference Proceeding Bog

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 /

Udgivet 1991

Conference Proceeding Bog

8

Fundamentals of computation theory /

Fundamentals of computation theory /

Udgivet 1985

Conference Proceeding Bog

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 /

Udgivet 1989

Conference Proceeding Bog

10

Computers in mathematics /

Computers in mathematics /

Udgivet 1990

Conference Proceeding Bog

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 /

Udgivet 1993

Conference Proceeding Bog

12

Exploiting mental imagery with computers in mathematics education /

Exploiting mental imagery with computers in mathematics education /

Udgivet 1995

Conference Proceeding Bog

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

Udgivet 1992

Conference Proceeding Bog

14

Applications of discrete mathematics /

Applications of discrete mathematics /

Udgivet 1988

Conference Proceeding Bog

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 /

Udgivet 1990

Conference Proceeding Bog

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 /

Udgivet 1993

Conference Proceeding Bog

17

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

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

Udgivet 1973

Conference Proceeding Bog

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 /

Udgivet 1992

Conference Proceeding Bog

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 /

Udgivet 1992

Conference Proceeding Bog

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 /

Udgivet 1977

Conference Proceeding Bog

1
2
Næste
[2]