選択資料から書架並びで前後20冊ずつを表示します。
Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
書庫2階
Modular programming languages : joint Modular Languages Conference JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings / Hanspeter Mössenböck (ed.)
書庫2階
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
書庫2階
Optimal interprocedural program optimizationn : a new framework and its application / Jens Knoop
書庫2階
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階