Search Results

1

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /

Berlin ; New York : Springer-Verlag, 1989

Conference Proceeding Book

2

Categorical methods in computer science : with aspects from topology /

Berlin ; New York : Springer-Verlag, 1989

Conference Proceeding Book

3

CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings /

Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book

4

Object-based distributed programming : ECOOP '93 workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

5

Next generation information system technology : proceedings /

Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book

6

Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

7

Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...

Berlin ; New York : Springer, 1998

Conference Proceeding Book

8

Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

9

Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings /

Berlin ; New York : Springer-Verlag, 1992

Conference Proceeding Book

10

Computational geometry and its applications /

Berlin ; New York : Springer-Verlag, 1988

Conference Proceeding Book

11

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings /

Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book

12

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : pr...

Berlin ; New York : Springer, 1996

Conference Proceeding Book

13

STACS 91 /

Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book

14

A decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

15

Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings /

Berlin ; New York : Springer-Verlag, 1994

Conference Proceeding Book

16

Advances in computing and information--ICCI '90 /

Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book

17

Concurrency : theory, language, and architecture : UK/Japan workshop, Oxford, UK, September 25-27, 1989 : proceedings /

Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book

18

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

Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book

19

OOER'95 : object-oriented and entity-relationship modeling : 14th International Conference, Gold Coast, Australia, December 13-15, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

20

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /

Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding Book

Narrow Search