検索条件
件名：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 |  | 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 |
| 3 | | 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 |
| 4 | | 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 |
| 5 |  | 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 |
| 6 |  | 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 |
| 7 |  | 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 |
| 8 | | Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings U.S. ( Lecture notes in computer science ; 338 ) | 中央図書館 | K.V. Nori, S. Kumar (eds.). | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||338 |
| 9 |  | Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings U.S. ( Lecture notes in computer science ; 287 ) | 中央図書館 | Kesav V. Nori (ed.). | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||287 |
| 10 |  | GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974. ( Lecture notes in computer science ; 8 ) | 中央図書館 | Hrsg. im Auftrag der GI und der NTG von H.-O. Leilich. | Springer | 1974 | 中央５階洋 007.1||L 49||8 |
選択行を：
|