書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 9783642401848 (e-ISBN)9783642401831
- ISSN
- 16113349 (e-ISSN)
- ISSN(シリーズ)
- 03029743
- シリーズタイトル
- タイトル標目
- 著者標目
- 出版年月日等
- c2013.
- 出版年(W3CDTF)
- 2013
- 数量
- xiv, 562 p.
- 形態の詳細
- ill.
- 大きさ
- 24 cm.
- その他のタイトル
- Aug 2013, Buenos Aires, Argentina.
- 出版地(国名コード)
- DE
- 本文の言語コード
- eng
- NDLC
- 対象利用者
- 一般
- 一般注記
- Revised papers and an abstract."This year the conference was jointly organized with the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), and the 8th International Symposium on Trustworthy Global Computing (TGC 2013)." -- pref.
- 書誌注記
- Includes bibliographical references and author index.
- 所蔵機関
- 国立国会図書館
- 請求記号
- M17-14-581
- 連携機関・データベース
- 国立国会図書館 : 国立国会図書館蔵書
- 書誌ID(NDLBibID)
- 024795877
- OCLC番号
- 861569410
- 目録規則
- 英米目録規則
- 整理区分コード
- 215