検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Categorical methods in computer science : with aspects from topology
書誌情報:Categorical methods in computer science : with aspects from topology
H. Ehrig ... [et al.], eds.
Berlin ; New York : Springer-Verlag , c1989.
vi, 350 p. : ill. ; 24 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S.0中央５階洋
  • 007.1
  • L 49
  • 393
00514604 利用可
一般 

選択行を：  

書誌詳細
刊年1989
形態vi, 350 p. : ill. ; 24 cm.
シリーズ名Lecture notes in computer science ; 393
注記Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin.
Includes bibliographical references.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Ehrig, Hartmut
International Workshop on Categorical Methods in Computer Science with Aspects from Topology (1988 : Berlin, Germany)
分類LCC:QA75.5
DC20:004/.01/5113
ISBN0387517227(U.S.)
件名LCSH:Computerscience -- Congresses.
LCSH:Categories(Mathematics) -- Congresses.
LCSH:Topology -- Congresses.
番号LCCN : 89021832

   
▲ページトップへ