close
1.

図書
図書
1. International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings (: gw ; : us)
edited by M. Dezani-Ciancaglini and U. Montanari
出版情報: Berlin : Springer-Verlag, 1982  vi, 406 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 137
所蔵情報: loading…
2.

図書
図書
2. Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings (: gw)
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
出版情報: Berlin : Springer-Verlag, c1995  viii, 442 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 902
所蔵情報: loading…
3.

図書
図書
3. Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings (: gw ; : us)
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  xi, 788 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 372
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Typed Lambda Calculi and Applications
International Conference on Typed Lambda Calculi and Applications, Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼