選択資料から書架並びで前後20冊ずつを表示します。
Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud
書庫2階
Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : proceedings / Gilles Kahn (ed.)
書庫2階
Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes, (ed.)
書庫2階
Semantics of programming languages : structures and techniques / Carl A. Gunter
書庫2階
Models of sharing graphs : a categorical semantics of let and letrec / Masahito Hasegawa
書庫2階
Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.)
書庫2階
Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński, (eds.)
書庫2階
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, (eds.)
書庫2階
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing, (eds.)
書庫2階
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds
書庫2階
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
書庫2階
Analysis and verification of multiple-agent languages : selected papers : 5th LOMAPS Workshop, Stockholm, Sweden, June 1996 / Mads Dam (ed.)
書庫2階
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
書庫2階
Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, proceedings / M. Main ... [et al.] (eds.)
書庫2階
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
書庫2階
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
書庫2階
Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
書庫2階
New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa, (eds.)
書庫2階
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.)
書庫2階
Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
書庫2階