検索条件
件名：LCSH:Electronicdigitalcomputers -- Programming -- Congresses
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 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 |  | 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 |
| 5 | | 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 |
| 6 | | ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 : gw , : us ( Lecture notes in computer science ; 44 ) | 中央図書館 | edited by K. Samelson | Springer-Verlag | 1976 | 中央５階洋 007.1||L 49||44 |
| 7 | | ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings U.S. ( Lecture notes in computer science ; 213 ) | 中央図書館 | edited by B. Robinet and R. Wilhelm. | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||213 |
| 8 |  | ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings U.S. ( Lecture notes in computer science ; 300 ) | 中央図書館 | H. Ganzinger (ed.) | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||300 |
| 9 |  | ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 432 ) | 中央図書館 | N. Jones (ed.). | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||432 |
| 10 |  | Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings U.S. : pbk. ( Lecture notes in computer science ; 107 ) | 中央図書館 | edited by J. Díaz and I. Ramos. | Springer-Verlag | 1981 | 中央５階洋 007.1||L 49||107 |
選択行を：
|