| 1 |  | 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 U.S. : alk. paper ( Workshops in computing ) | 中央図書館 | Carroll Morgan and J.C.P. Woodcock, eds. | Springer-Verlag | 1991 | 中央５階洋 548.16||R 23||3 |
| 2 |  | Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings : gw , : us ( Lecture notes in computer science ; 180 ) | 中央図書館 | edited by Peter J.L. Wallis | Springer-Verlag | 1984 | 中央５階洋 007.1||L 49||180 |
| 3 |  | Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 : gw , : us ( Lecture notes in computer science ; 244 ) | 中央図書館 | edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||244 |
| 4 | | Algorithmic language and program development : New York , : Berlin ( Texts and monographs in computer science ) | 中央図書館 | F.L. Bauer, H. Wössner, in collaboration with H. Partsch and P. Pepper | Springer-Verlag | 1982 | 中央５階洋 548.164||B 28 |
| 5 |  | Algorithmics for VLSI ( International lecture series in computer science ) | 中央図書館 | edited by C. Trullemans. | Academic Press | 1986 | 中央５階洋 549.7||A 41 |
| 6 | | Analog and digital computer technology | 中央図書館 | Norman R. Scott | McGraw-Hill | 1960 | 中央５階洋 548.2||Sc 9 |
| 7 |  | Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings U.S. : pbk. ( Lecture notes in computer science ; 283 ) | 中央図書館 | D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.). | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||283 |
| 8 | | Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings U.S. ( Lecture notes in computer science ; 389 ) | 中央図書館 | D.H. Pitt ... [et al.] (ed.). | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||389 |
| 9 | | Computer aided design of digital electronic circuits and systems : proceedings of a symposium, Brussels, November 1978 | 中央図書館 | edited by Gerald Musgrave, organized by the Commission of the European Communities, Directorate-General for Internal Market and Industrial Affairs | Published by North-Holland for the Commission of the European Communities, Directorate-General for Scientific and Technical Information and Information Management, sole distributors for the U.S.A. and Canada, Elsevier North-Holland | 1979 | 中央５階洋 549.1||C 85 |
| 10 | | Computer management series pt. 1 , pt. 2 | 中央図書館 | | Graduate School of Business Administration, Harvard University] | 1962-1969 | 中央５階洋 336.57||C 85||1
中央５階洋 336.57||C 85||2 |