1 | ![書影](../Images/noimage.png) | AI and cognitive science '90 : University of Ulster at Jordanstown, 20-21 September 1990 : Berlin , : New York ( Workshops in computing ) | 中央図書館 | Michael McTear and Norman Creaney, (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||A 22 |
2 | ![書影](../Images/noimage.png) | Specification and verification of concurrent systems Springer-Verlag Berlin , Springer-Verlag New York : alk. paper ( Workshops in computing ) | 中央図書館 | C. Rattray, ed. | Springer-Verlag | 1990 | 中央5階洋 548.16||Sp 3 |
3 | ![書影](../Images/noimage.png) | Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford Berlin , New York ( Workshops in computing ) | 中央図書館 | Geraint Jones and Mary Sheeran, eds. | Springer-Verlag | 1991 | 中央5階洋 541.1||D 64 |
4 | ![書影](../Images/noimage.png) | 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 Springer-Verlag Berlin Heidelberg New York , Springer-Verlag New York Berlin Heidelberg ( Workshops in computing ) | 中央図書館 | John Rosenberg and J. Leslie Keedy, eds. | Springer-Verlag | 1990 | 中央5階洋 548.16||Se 13 |
5 | ![書影](../Images/noimage.png) | Women into computing : selected papers, 1988-1990 Springer-Verlag New York Berlin Heidelberg , Springer-Verlag Berlin Heidelberg New York ( Workshops in computing ) | 中央図書館 | WiC, Gillian Lovegrove and Barbara Segal, eds. | Springer-Verlag | 1991 | 中央5階洋 366.35||W 85 |
6 | ![書影](../Images/noimage.png) | Functional programming : proceedings of the 1989 Glasgow workshop, 21-23 August 1989, Fraserburgh, Scotland : Berlin , : New York ( Workshops in computing ) | 中央図書館 | Kei Davis and John Hughes (eds.) | Springer-Verlag | 1990 | 中央5階洋 548.164||F 89 |
7 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41Wc7Gm0RAL.jpg) | ALPUK91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 : gw , : us ( Workshops in computing ) | 中央図書館 | Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.) | Springer | 1992 | 中央5階洋 548.164||A 41||91 |
8 | ![書影](../Images/noimage.png) | Software re-use, Utrecht 1989 : proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands ( Workshops in computing ) | 中央図書館 | Liesbeth Dusink and Patrick Hall, eds. | Springer-Verlag | 1991 | 中央5階洋 548.163||So 24 |
9 | ![書影](../Images/noimage.png) | AI and cognitive science '89 : Dublin City University, 14-15 September, 1989 alk. paper , pbk , US ( Workshops in computing ) | 中央図書館 | Alan F. Smeaton and Gabriel McDermott (eds.). | Springer-Verlag | 1990 | 中央5階洋 007.1||A 22 |
10 | ![書影](../Images/noimage.png) | Semantics for concurrency : proceedings of the International BCS-FACS Workshop alk. paper ( Workshops in computing ) | 中央図書館 | 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 | 1990 | 中央5階洋 548.164||Se 51 |