close
1.

図書
図書
1. Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 (: gw ; : us)
edited by S.D. Brookes, A.W. Roscoe and G. Winskel
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  x, 523 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 197
所蔵情報: loading…
2.

図書
図書
2. Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings (: gw ; : us)
S. Brookes ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  viii, 506 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 598
所蔵情報: loading…
3.

図書
図書
3. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings (: gw ; : us)
S. Brookes ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  ix, 648 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 802
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼