Mendeley出力
＜図書＞
CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
| 責任表示 | Jos C.M. Baeten, Sjouke Mauw (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 1664 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c1999 |
| 本文言語 | 英語 |
| 大きさ | xi, 572 p. : ill. ; 24 cm |
| 概要 | This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented tog...ther with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, & verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification, refinement, term & graph rewriting, distributed programming, logic constraint programming, typing systems, etc. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7389528 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 1999 |
|
061232004020892 |
|
書誌詳細
| 一般注記 | Includes bibligraphical references and index |
|---|---|
| 著者標目 | *International Conference on Concurrency Theory (10th : 1999 : Eindhoven, the Netherlands) Baeten, Jos C.M. Mauw, Sjouke |
| 件 名 | LCSH:Parallel processing (Electronic computers) -- Congresses
全ての件名で検索
LCSH:Multitasking (Computer science) -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.58 |
| 書誌ID | 1000990748 |
| ISBN | 3540664254 |
| NCID | BA42751998 |
| 巻冊次 | ISBN:3540664254 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |