Mendeley出力
＜図書＞
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 ; New York : Springer-Verlag |
|---|---|
| 出版年 | c1990 |
| コード類 | 書誌ID=2000378495 NCID=BA10756798
|
| オンライン資料 | https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540530487 |
書誌詳細を表示
| 本文言語 | 英語 |
|---|---|
| 大きさ | vii, 536 p. : ill. ; 25 cm |
| 一般注記 | "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 index |
| 著者標目 | 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 全ての件名で検索 |
| 分 類 | LCC:QA267 DC20:511.3 |
| 巻冊次 | : gw ; ISBN:3540530487 : us ; ISBN:0387530487 |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 印刷 | 予約 | 利用注記 | 文献取寄 | eDDS |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 理院・数学図書室・会議報告 | : gw | Nether./1990-C/Proc. | 2070328724 |
|
3540530487 | 1990 |
|