close
1.

図書
図書
1. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979 (: gw ; : us)
edited by Gilles Kahn
出版情報: Berlin : Springer-Verlag, 1979  vi, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 70
所蔵情報: loading…
2.

図書
図書
2. Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings (: gw ; : us)
Gilles Kahn (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 470 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 274
所蔵情報: loading…
3.

図書
図書
3. Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings (: gw ; : us)
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  391 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 173
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings. 1st ed. 1984
edited by G. Kahn, D.B. MacQueen, G. Plotkin
出版情報:   VIII, 396 p.
シリーズ名: Lecture Notes in Computer Science ; 173
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979. 1st ed. 1979
edited by G. Kahn
出版情報:   VIII, 372 p.
シリーズ名: Lecture Notes in Computer Science ; 70
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼