選択資料から書架並びで前後20冊ずつを表示します。
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
書庫2階
Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers / Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
書庫2階
Over-constrained systems / Michael Jampel, Eugene Freuder, Michael Maher, (eds)
書庫2階
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
書庫2階
Algebraic specification techniques in object oriented programming environments / R. Breu
書庫2階
Building application frameworks : object-oriented foundations of framework design / [editors], Mohamed E. Fayad, Douglas C. Schmidt, Ralph E. Johnson
書庫2階
The interpretation of object-oriented programming languages / Iain Craig
書庫2階
Concurrent object-oriented programming and Petri nets : advances in Petri nets / Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
書庫2階
Engineering distributed objects : second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers / Wolfgang Emmerich, Stefan Tai (eds.)
書庫2階
ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / J. Bézivin ... [et al.] (eds.)
書庫2階
ECOOP '88 : European Conference on Object-Oriented Programming : Oslo, Norway, August 15-17, 1988 : proceedings / S. Gjessing, K. Nygaard (eds.)
書庫2階
ECOOP '91 : European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America, (ed.)
書庫2階
ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.)
書庫2階
ECOOP '93, object-oriented programming : 7th European conference Kaiserslautern, Germany, July 26-30, 1993 : proceedings / Oscar M. Nierstrasz (ed.)
書庫2階
Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.)
書庫2階
ECOOP '95, object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7-11, 1995 : proceedings / Walter Olthoff (ed.)
書庫2階
ECOOP '96--object-oriented programming : 10th European Conference, Linz, Austria, July 8-12 1996 : proceedings / Pierre Cointe (Ed.)
書庫2階