選択資料から書架並びで前後20冊ずつを表示します。
Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
書庫2階
Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
書庫2階
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階