Search Results

1

Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings /

Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings /

Published 1990

Conference Proceeding Book

2

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /

Published 1990

Conference Proceeding Book

3

Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings /

Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings /

Published 1990

Conference Proceeding Book

4

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings /

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings /

Published 1990

Conference Proceeding Book

5

Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings /

Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings /

Published 1991

Conference Proceeding Book

6

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings /

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings /

Published 1991

Conference Proceeding Book

7

Advances in computing and information--ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings /

Advances in computing and information--ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings /

Published 1991

Conference Proceeding Book

8

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

9

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /

Published 1991

Conference Proceeding Book

10

Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings /

Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings /

Published 1991

Conference Proceeding Book

11

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings /

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings /

Published 1987

Conference Proceeding Book

12

Analogical and inductive inference : proceedings /

Analogical and inductive inference : proceedings /

Published 1987

Conference Proceeding Book

13

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings /

Published 1988

Conference Proceeding Book

14

Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, proceedings /

Advances in database technology, EDBT '88 : International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, proceedings /

Published 1988

Conference Proceeding Book

15

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Published 1988

Conference Proceeding Book

16

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

17

Computational geometry and its applications /

Computational geometry and its applications /

Published 1988

Conference Proceeding Book

18

Advances in object-oriented database systems : 2nd International Workshop on Object-oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, proceedings /

Advances in object-oriented database systems : 2nd International Workshop on Object-oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, proceedi...

Published 1988

Conference Proceeding Book

19

Statistical and scientific database management : fourth international working conference, SSDBM, Rome, Italy, June 21-23, 1988 : proceedings /

Statistical and scientific database management : fourth international working conference, SSDBM, Rome, Italy, June 21-23, 1988 : proceedings /

Published 1989

Conference Proceeding Book

20

STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings /

STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings /

Published 1989

Conference Proceeding Book

1
2
3
4
5
Next
[5]