選択資料から書架並びで前後20冊ずつを表示します。
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki, eds
書庫2階
The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.]
v. 1
書庫2階
The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.]
v. 2
書庫2階
Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
書庫2階
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
書庫2階
Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, (ed.)
書庫2階
Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.)
書庫2階
Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)
書庫2階
Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986, proceedings / Marisa Venturini Zilli, editor
書庫2階
Coroutines : a programming methodology, a language design, and an implementation / Christopher D. Marlin
書庫2階
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing, (eds.)
書庫2階
Fundamental algorithms for computer graphics / directed by J.E. Bresenham, R.A. Earnshaw, and M.L.V. Pitteway ; edited by Rae A. Earnshaw ; co-sponsored by Cambridge Interactive Systems Ltd. ...[et al.]
書庫2階
Principles of program analysis / Flemming Nielson, Hanne Riis Nielson, Chris Hankin
書庫2階
Program construction : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy
書庫2階
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup
書庫2階
RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
書庫2階