Search Results

1

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

2

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

3

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Published 1990

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

Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings /

Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings /

Published 1990

Book

6

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

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

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 /

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 /

Published 1987

Book

14

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

15

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

16

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

17

Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings /

Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings /

Published 1988

Book

18

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

19

Computational geometry and its applications /

Computational geometry and its applications /

Published 1988

Conference Proceeding Book

20

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

1
2
3
4
5
Next
[5]