Search Results

1

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /

London ; New York : Springer-Verlag, 1993

Conference Proceeding Manuscript Book

2

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 199...

London ; New York : Springer-Verlag, 1993

Conference Proceeding Manuscript Book

3

Advances in databases and information systems : proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBISʼ95), Moscow, 27-30 June 1995 /

Advances in databases and information systems : proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBISʼ95), Moscow, 27-30 June 199...

Berlin ; New York : Springer Verlag, 1996

Conference Proceeding Manuscript Book

4

A glossary of computing terms /

A glossary of computing terms /

Harlow : Longman on behalf of the British Computer Society, 1998
9th ed.

Manuscript Book

5

Specification and verification of concurrent systems /

Specification and verification of concurrent systems /

London ; New York : Springer-Verlag, 1990

Conference Proceeding Manuscript Book