関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Categories(Mathematics) -- Congresses.
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](../Images/noimage.png) | Categorical methods in computer science : with aspects from topology U.S. ( Lecture notes in computer science ; 393 ) | 中央図書館 | H. Ehrig ... [et al.], eds. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||393 |
2 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41N-hp0RSmL.jpg) | Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings U.S. : pbk. ( Lecture notes in computer science ; 283 ) | 中央図書館 | D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.). | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||283 |
3 | ![書影](../Images/noimage.png) | Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings U.S. ( Lecture notes in computer science ; 389 ) | 中央図書館 | D.H. Pitt ... [et al.] (ed.). | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||389 |
4 | ![書影](../Images/noimage.png) | Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings Springer-Verlag Berlin Heidelberg New York , Springer-Verlag New York Berlin Heidelberg ( Lecture notes in computer science ; 530 ) | 中央図書館 | D.H. Pitt ... [et al.] (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||530 |
5 | ![書影](../Images/noimage.png) | Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 ( Lecture notes in computer science ; 56 ) | 中央図書館 | edited by Marek Karpiński. | Springer-Verlag | 1977 | 中央5階洋 007.1||L 49||56 |
選択行を:
|