Mendeley出力
＜図書＞
Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings
| 責任表示 | Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3219 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c2004 |
| 本文言語 | 英語 |
| 大きさ | xi, 337 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004. The 24 ...evised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability, human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7004977 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 007.08/Sa 14 | 2004 |
|
026212005000502 |
|
|||
|
|
|
理系図 自動書庫 | 408/L 49 | 2004 |
|
061212004002993 |
|
書誌詳細
| 別書名 | 表紙タイトル:Computer safety, reliability, and security : 23nd International Conference, SAFECOMP 2004, Potsdam, Germany, September 2004 : proceedings |
|---|---|
| 一般注記 | Includes bibliographical references and index |
| 著者標目 | *Safecomp (23rd : 2004 : Potsdam, Germany) Heisel, Maritta Liggesmeyer, Peter Wittmann, Stefan |
| 件 名 | LCSH:Computer software -- Reliability -- Congresses
全ての件名で検索
LCSH:Electronic digital computers -- Reliability -- Congresses 全ての件名で検索 LCSH:Computer system -- Reliability -- Congresses 全ての件名で検索 LCSH:Computer security -- Congresses 全ての件名で検索 LCSH:Industrial safety -- Congresses 全ての件名で検索 |
| 書誌ID | 1001146189 |
| ISBN | 3540231765 |
| NCID | BA6889692X |
| 巻冊次 | ISBN:3540231765 |
| 登録日 | 2009.09.17 |
| 更新日 | 2017.02.18 |