著者
書誌事項
Workshops in computing
Springer-Verlag
この図書・雑誌をさがす
-
61
- 3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park
-
Carroll Morgan and J.C.P. Woodcock (eds.)
Springer c1991 Workshops in computing
: us , : gw
所蔵館4館
-
62
- Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming
-
Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, (eds.)
Springer-Verlag 1991 Workshops in computing
: Berlin , : New York
所蔵館12館
-
63
- Women into computing : selected papers, 1988-1990
-
WiC ; Gillian Lovegrove and Barbara Segal, eds
Springer-Verlag c1991 Workshops in computing
: us , : gw
所蔵館5館
-
64
- Security and persistence : proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8-11 May 1990, Bremen, West Germany
-
John Rosenberg and J. Leslie Keedy, eds
Springer-Verlag c1990 Workshops in computing
: Berlin , : New York
所蔵館1館
-
65
- Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
-
Dan Craigen, editor, and Karen Summerskill, assitant editor
Springer-Verlag c1990 Workshops in computing
gw , us
所蔵館8館
-
66
- Z User Workshop : proceedings of the fourth annual Z User Meeting, Oxford, 15 December 1989
-
J.E. Nicholls (ed.)
Springer-Verlag c1990 Workshops in computing
: u.s. , : germany
所蔵館5館
-
67
- Persistent object systems : proceedings of the third international workshop, 10-13 January, Newcastle, Australia
-
[complied by] John Rosenberg and David Koch
Springer-Verlag c1990 Workshops in computing
: Berlin , : New York
所蔵館9館
-
68
- Functional programming : proceedings of the 1989 Glasgow workshop, 21-23 August 1989, Fraserburgh, Scotland
-
Kei Davis and John Hughes (eds.)
Springer-Verlag c1990 Workshops in computing
: Berlin , : New York
所蔵館15館
-
69
- Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
-
[editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
Springer-Verlag c1990 Workshops in computing
: U.S. , : Germany
所蔵館13館
-
70
- Specification and verification of concurrent systems
-
C. Rattray, (ed.)
Springer-Verlag c1990 Workshops in computing
: Germany , : U.S.
所蔵館16館
-
71
- AI and cognitive science '89 : Dublin City University, 14-15 September, 1989
-
Alan F. Smeaton and Gabriel McDermott (eds.)
Springer-Verlag c1990 Workshops in computing
: Germany , : U.S
所蔵館27館