選択資料から書架並びで前後20冊ずつを表示します。
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階
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.]
書庫2階
Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)
書庫2階
Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)
書庫2階
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
書庫2階
Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.)
書庫2階
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.]
書庫2階
Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
書庫2階
Introduction to computational science : modeling and simulation for the sciences / Angela B. Shiflet and George W. Shiflet
: hardcover
書庫2階