| 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 |  | 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 |
| 6 | | 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 |
| 7 | | Computer programming fundamentals | 中央図書館 | [by] Herbert D. Leeds [and] Gerald M. Weinberg | McGraw-Hill | 1961 | 中央５階洋 549.92||I 51 |
| 8 | | Computers and intractability : a guide to the theory of NP-completeness : pbk ( A series of books in the mathematical sciences ) | 中央図書館 | Michael R. Garey, David S. Johnson | W. H. Freeman | 1979 | 中央５階洋 007.64||G 22 |
| 9 |  | A connotational theory of program structure pbk. : U.S. ( Lecture notes in computer science ; 273 ) | 中央図書館 | James S. Royer. | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||273 |
| 10 | | Dynamic, genetic and chaotic programming : the sixth-generation ( Sixth-generation computer technology series ) | 中央図書館 | Branko Souček and the IRIS Group | Wiley | 1992 | 中央５階洋 548.164||So 81 |