close
1.

図書
図書
1. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings (: gw ; : us)
D.H. Pitt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 365 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 389
所蔵情報: loading…
2.

図書
図書
2. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings (: gw ; : us)
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 300 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 283
所蔵情報: loading…
3.

図書
図書
3. Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
Eugenio Moggi, Giuseppe Rosolini (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  313 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1290
所蔵情報: loading…
4.

図書
図書
4. Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  252 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 953
所蔵情報: loading…
5.

図書
図書
5. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: gw ; : us)
D.H. Pitt ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  301 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 530
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼