上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Categories Congresses)
該当件数:13件
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 : Springer , 1997. - (Lecture notes in computer science ; 1290)
図書 <1000709590>
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt ... [et al.] (eds.)
Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 530)
図書 <1000655807>
Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 283)
図書 <1000587423>
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt ... [et al.] (ed.)
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science. ; 389)
図書 <1000593118>
Papers in honour of Bernhard Banaschewski : proceedings fo the BB Fest 96, a conference held at the University of Cape town, 15-20 July 1996, on category theory and its applications to topology, order and algebra / edited by Guillaume Brümmer and Christopher Gilmour
Dordrecht ; Boston : Kluwer Academic Publishers , c2000
図書 <1001234513>
Categorical methods in computer science : with aspects from topology / H. Ehrig ... et al. (eds.)
Berlin ; New York : Springer-Verlag , 1989. - (Lecture notes in computer science ; 393)
図書 <1000652324>
La tradition médiévale des catégories (XIIe-XVe siècles) : actes du XIIIe Symposium européen de logique et de sémantique médiévales (Avignon, 6-10 juin 2000) / réunis par Joël Biard et Irène Rosier-Catach
: Leuven,: France. - Louvain-la-Neuve : Éditions de l'Institut supérieur de philosophie. - Louvain : Peeters , 2003. - (Philosophes médiévaux ; t. 45)
図書 <1001495956>
Between grammar and lexicon / edited by Ellen Contini-Morava, Yishai Tobin
: US,: Eur. - Amsterdam ; Philadelphia : J. Benjamins , c2000. - (Amsterdam studies in the theory and history of linguistic science ; ser. 4 . Current issues in linguistic theory ; v. 183)
図書 <1001132738>
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 : Springer , c1995. - (Lecture notes in computer science ; 953)
図書 <1000524543>
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 56)
図書 <1000587009>
Noun classes and categorization : proceedings of a symposium on categorization and noun classification, Eugene, Oregon, October 1983 / edited by Colette Craig
: us : hb - : European : pbk. - Amsterdam ; Philadelphia : J. Benjamins , 1986. - (Typological studies in language / general editor, T. Givón ; v. 7)
図書 <1001111300>
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
Providence, R.I. : American Mathematical Society , c2012. - (Proceedings of symposia in applied mathematics ; v. 71)
図書 <1002562913>
Groups, algebras, and applications : XVIII Latin American Algebra Colloquium, August 3-8, 2009, São Pedro, SP, Brazil / César Polcino Milies, editor
Providence, R.I. : American Mathematical Society , c2011. - (Contemporary mathematics ; 537)
電子ブック <1003023153>