Search Results

1

Operating systems; proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.

Operating systems; proceedings of an international symposium held at Rocquencourt, April 23-25, 1974.

Berlin, New York, Springer-Verlag, 1974

Conference Proceeding Book

2

Software engineering : an advanced course /

Software engineering : an advanced course /

Berlin ; New York : Springer-Verlag, 1975

Conference Proceeding Book

3

Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] /

Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer S...

New York : Academic Press, 1976

Conference Proceeding Book

4

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 /

Berlin ; New York : Springer-Verlag, 1980

Conference Proceeding Book

5

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /

Berlin ; New York : Springer-Verlag, 1981

Conference Proceeding Book

6

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

Berlin ; New York : Springer-Verlag, 1993

Conference Proceeding Book

7

Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings /

Trees in algebra and programming--CAAP '96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996, proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

8

Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September19-21, 2001 : proceedings /

Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September19-21, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book