著者典拠情報

著者標目形：
British Computer Society
属性：
Corporate
場所：
29 Portland Place London WIN 4AP
から見よ参照形：
BCS
B.C.S.
注記：
The Computer journal, Apr. 1958-
著者典拠ID：
DA00689001


1.

図書
図書
1. Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
Kevin Hammond, David N. Turner, and Patrick M. Sansom
出版情報: London ; Tokyo : Springer-Verlag, c1995
シリーズ名: Workshops in computing
所蔵情報: 図書館
2.

図書
図書
2. Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995
Jörg Desel, (ed.)
出版情報: Berlin ; New York : Springer , [London] : in collaboration with the British Computer Society, c1995
シリーズ名: Workshops in computing
所蔵情報: 図書館
3.

図書
図書
3. Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 (: us ; : gw)
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
出版情報: London ; New York : Springer-Verlag, c1995
シリーズ名: Workshops in computing
所蔵情報: 研究室
4.

図書
図書
4. Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
Yves Deville, ed
出版情報: London ; New York : Springer-Verlag, c1994
シリーズ名: Workshops in computing
所蔵情報: 図書館
5.

図書
図書
5. Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (: Berlin ; : New York)
Rogardt Heldal, Carsten Kehler Holst and Philip Wadler (eds.)
出版情報: London ; Tokyo : Springer-Verlag in collaboration with the British Computer Society, c1992
シリーズ名: Workshops in computing
所蔵情報: 図書館
6.

図書
図書
6. ALPUK91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 (: gw ; : us)
Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.)
出版情報: London ; Tokyo : Springer, c1992
シリーズ名: Workshops in computing
所蔵情報: 図書館
7.

図書
図書
7. Specification and verification of concurrent systems (: Germany ; : U.S.)
C. Rattray, (ed.)
出版情報: London ; Tokyo : Springer-Verlag, c1990
シリーズ名: Workshops in computing
所蔵情報: 図書館
8.

図書
図書
8. Digest of papers : fault-tolerant computing : 20th International Symposium, June 26-28, 1990, Newcastle upon Tyne, England (: pbk ; : case ; : microfiche)
sponsored by IEEE Computer Society, IFIP Working Group 10.4 ; in cooperation with British Computer Society ... [et al.]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1990
所蔵情報: 図書館
9.

図書
図書
9. Second International Joint Conference on Artificial Intelligence : IJCAI-71, 1-3 September 1971, Imperial College, London
administration by The British Computer Society
出版情報: Los Altos, Carif. : Morgan Kaufmann, c1971
所蔵情報: 図書館