Author(s)
Bibliographic Information
Workshops in computing
Springer-Verlag
Search this Book/Journal
-
41
- Formal methods in databases and software engineering : proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
-
V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri [editors]
Springer-Verlag c1993 Workshops in computing
: Berlin
Available at 16 libraries
-
42
- ALPUK 92 : proceedings of the 4th UK Conference on Logic Programming, London, 30 March-1 April 1992
-
Krysia Broda (ed.)
Springer-Verlag c1993 Workshops in computing
Available at 4 libraries
-
43
- 5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992
-
Cliff B. Jones, Roger C. Shaw and Tim Denvir (eds.)
Springer-Verlag c1992 Workshops in computing
: New York , : Berlin
Available at 3 libraries
-
44
- Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991
-
Rogardt Heldal, Carsten Kehler Holst and Philip Wadler (eds.)
Springer-Verlag in collaboration with the British Computer Society c1992 Workshops in computing
: Berlin , : New York
Available at 11 libraries
-
45
- Code generation--concepts, tools, techniques : proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991
-
Robert Giegerich and Susan L. Graham, eds
Springer-Verlag c1992 Workshops in computing
Available at 8 libraries
-
46
- Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
-
M. Nivat ... [et al.] (eds.)
Springer, published in collaboration with the British Computer Society c1992 Workshops in computing
: us , : gw
Available at 7 libraries
-
47
- Object orientation in Z
-
Susan Stepney, Rosalind Barden, and David Cooper (eds.)
Springer-Verlag c1992 Workshops in computing
: us , : gw
Available at 12 libraries
-
48
- Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
-
Tim Denvir, Ros Herman, and R.W. Whitty (eds.)
Springer-Verlag c1992 Workshops in computing
Available at 4 libraries
-
49
- Building interactive systems : architecture and tools
-
Philip Gray and Roger Took (eds)
Springer-Verlag c1992 Workshops in computing
: gw , : us
Available at 4 libraries
-
50
- Declarative programming, Sasbachwalden 1991 : Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991
-
John Darlington and Roland Dietrich (eds.)
Springer-Verlag c1992 Workshops in computing
: us , : gw
Available at 5 libraries
-
51
- ALPUK91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
-
Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.)
Springer c1992 Workshops in computing
: gw , : us
Available at 12 libraries
-
52
- Specifications of database systems : International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991
-
David J. Harper and Moira C. Norrie (eds.)
Springer-Verlag c1992 Workshops in computing
gw , us
Available at 13 libraries
-
53
- Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991
-
sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau, [editors]
Springer-Verlag c1992 Workshops in computing
: us , : gw
Available at 12 libraries
-
54
- 7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991
-
J. Hillston, P.J.B. King, and R.J. Pooley (eds.)
Springer-Verlag c1992 Workshops in computing
: us , : gw
Available at 5 libraries
-
55
- Z user workshop, Oxford 1990 : proceedings of the fifth annual Z User Meeting, Oxford, 17-18 December 1990
-
J.E. Nicholls (ed.)
Springer-Verlag c1991 Workshops in computing
pbk.
Available at 4 libraries
-
56
- IV Higher Order Workshop, Banff 1990 : proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990
-
Graham Birtwistle (ed.)
Springer-Verlag c1991 Workshops in computing
: uk , : us
Available at 5 libraries
-
57
- 4th Refinement Workshop : proceedings of the 4th Refinement Workshop
-
organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, eds
Springer-Verlag c1991 Workshops in computing
Available at 5 libraries
-
58
- AI and cognitive science '90 : University of Ulster at Jordanstown, 20-21 September 1990
-
Michael McTear and Norman Creaney, (eds.)
Springer-Verlag c1991 Workshops in computing
: Berlin , : New York
Available at 18 libraries
-
59
- Software re-use, Utrecht 1989 : proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands
-
Liesbeth Dusink and Patrick Hall, eds
Springer-Verlag c1991 Workshops in computing
: us , : gw
Available at 7 libraries
-
60
- Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford
-
Geraint Jones and Mary Sheeran (eds)
Springer-Verlag 1991 Workshops in computing
: gw , pbk. : gw , : us
Available at 6 libraries
