yr 〜
yr

Search results 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)
Paper図書
Springer-Verlagc1994.<M15-A9224>
National Diet Library
  • Author HeadingBrookes, 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)
Paper図書
Springer-Verlagc1992.<M15-A8226>
National Diet Library
  • Author HeadingBrookes, 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)
Paper図書
Springer-Verlagc1985.<M15-A277>
National Diet Library
  • Author Heading...on University) Brookes, S. D. (Stephen D.) Roscoe, A. W. Winskel, G. (Gl...

Reached to the end of result.