1.

図書
図書
1. 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
シリーズ名: Lecture notes in computer science ; 1290
所蔵情報: 図書館
2.

図書
図書
2. 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
シリーズ名: Lecture notes in computer science ; 953
所蔵情報: 図書館
3.

図書
図書
3. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings (: Berlin ; : New York)
D.H. Pitt ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 530
所蔵情報: 図書館
4.

図書
図書
4. Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 (: gw ; : us)
A. Carboni, M.C. Pedicchio, G. Rosolini (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in mathematics ; 1488
所蔵情報: 図書館
5.

図書
図書
5. 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
シリーズ名: Lecture notes in computer science ; 389
所蔵情報: 図書館
6.

図書
図書
6. Categorical methods in computer science : with aspects from topology (: us ; : gw)
H. Ehrig ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 393
所蔵情報: 図書館
7.

図書
図書
7. Categorical algebra and its applications : proceedings of a conference, held in Louvain-la-Neuve, Belgium, July 26-August 1, 1987 (: gw ; : us)
F. Borceux (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in mathematics ; 1348
所蔵情報: 図書館
8.

図書
図書
8. Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981 (: Berlin ; : New York)
edited by B. Banaschewski
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in mathematics ; 915
所蔵情報: 図書館
9.

図書
図書
9. Categorical topology : proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978 (: Berlin ; : New York)
edited by H. Herrlich and G. Preuß
出版情報: Berlin : Springer-Verlag, 1979
シリーズ名: Lecture notes in mathematics ; 719
所蔵情報: 図書館
10.

図書
図書
10. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 (: gw ; : us)
edited by Marek Karpiński
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 56
所蔵情報: 図書館