本文に飛ぶ

年 〜
年

検索結果 3 件

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], eds. (Lecture notes in computer science)

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9224>
国立国会図書館
  • 著者標目Brookes, S. D. (Stephen D.) International Conference on t...

Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.). (Lecture notes in computer science)

Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8226>
国立国会図書館
  • 著者標目Brookes, S. D. (Stephen D.) International Conference on t...

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe, and G. Winskel. (Lecture notes in computer science)

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S.D. Brookes, A.W. Roscoe, and G. Winskel. (Lecture notes in computer science)
紙図書
Springer-Verlagc1985.<M15-A277>
国立国会図書館
  • 著者標目...on University) Brookes, S. D. (Stephen D.) Roscoe, A. W. Winskel, G. (Gl...

検索結果は以上です。

RSS