<図書>

Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / Eugenio Moggi, Giuseppe Rosolini (eds.)

(Lecture notes in computer science;1290)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1290 2012686222

8641/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Category 8010192980


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1997
大きさ 313 p. : ill. ; 24 cm
一般注記 "Seventh Meeting of the Biennial Conference on Category Theory and Computer Science" -- Pref
Includes bibliographical references
著者標目 *Conference on Category Theory and Computer Science (7th : 1997 : Santa Margherita Ligure, Italy)
Moggi, Eugenio
Rosolini, G. (Giuseppe), 1954-
件 名 LCSH:Computer science -- Mathematics -- Congresses
LCSH:Categories (Mathematics) -- Congresses
分 類 LCC:QA76.9.M35
DC21:004/.01/5113
本文言語 英語
書誌ID 2000627734
ISBN 354063455X
NCID BA32290640 WCLINK

類似資料

  1. 1 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings / P. Martin-Löf, G. Mints (eds.)
  2. 2 CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
  3. 3 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
  4. 4 Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
  5. 5 Categorical methods in computer science : with aspects from topology / H. Ehrig ... [et al.], (eds.)
  6. 6 Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings / Mogens Nielsen, Branislav Rovan (eds.)
  7. 7 Mathematical foundations of computer science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings / Krzysztof Diks, Wojciech Rytter (eds.)
  8. 8 Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings / Jiřį́ Sgall, Aleš Pultr, Petr Kolman (eds.)
  9. 9 Mathematical foundations of computer science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / Jiří Fiala, Václav Koubek, Jan Kratochvíl (eds.)
  10. 10 Mathematical foundations of computer science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings / Branislav Rovan, Peter Vojtáš (eds.)

検索結果一覧に戻る ページトップ