CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.)
(Lecture notes in computer science ; 458)
データ種別 | 図書 |
---|---|
出版者 | Berlin ; Tokyo : Springer-Verlag |
出版年 | c1990 |
形態 | vii, 536 p. : ill. ; 25 cm |
著者標目 | Baeten, J. C. M. Klop, J. W. (Jan Willem), 1945- Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) Universiteit van Amsterdam European Strategic Programme of Research and Development in Information Technology |
件 名 | LCSH:Machine theory -- Congresses
全ての件名で検索
LCSH:Parallel processing (Electronic computers) -- Congresses 全ての件名で検索 |
分 類 | NDC:549.92 DDC:511.3 LCC:QA267 |
書誌ID | LT00327284 |
所蔵情報を非表示
状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
中央自動書庫 | 549.92/L49-1/458 | 0108554680102 | 9783540530480 |
|
|
|
|
|
書誌詳細を非表示
本文言語 | 英語 |
---|---|
一般注記 | "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref. Includes bibliographical references and index |
NCID | BA10756798 |
巻冊次 | ISBN:3540530487 |
目次/あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数:2回
※2020年8月以降