選択資料から書架並びで前後20冊ずつを表示します。
Language hierarchies and interfaces : international summer school / F. L. Bauer ... [et al.] ; edited by F. L. Bauer and K. Samelson
書庫2階
Code optimization techniques for embedded processors : methods, algorithms, and tools / by Rainer Leupers
書庫2階
Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler
書庫2階
Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
書庫2階
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
書庫2階
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
書庫2階
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada
書庫2階
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.)
書庫2階
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階