書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 9783642287299 (e-ISBN)9783642287282
- ISSN
- 16113349 (e-ISSN)
- ISSN(シリーズ)
- 03029743
- シリーズタイトル
- タイトル標目
- 著者標目
- 出版年月日等
- c2012.
- 出版年(W3CDTF)
- 2012
- 数量
- xvii, 484 p.
- 形態の詳細
- ill.
- 大きさ
- 24 cm.
- その他のタイトル
- ETAPS : European joint conferences on theory & practice of software.Mar 2012, Tallinn, Estonia.
- 出版地(国名コード)
- DEUS
- 本文の言語コード
- eng
- ジャンル・形式用語
- 件名標目
- LCC
- DDC
- NDLC
- 対象利用者
- 一般
- 一般注記
- Selected papers."ETAPS 2012 is the fifteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...)" -- foreword."This year it comprised six sister conferences (CC, ESOP, FASE, FOSSACS, POST, TACAS), (...) and eight invited lectures (...)" -- foreword.
- 書誌注記
- Includes bibliographical references and author index.
- 一次資料へのリンクURL
- SpringerLink
- 所蔵機関
- 国立国会図書館
- 請求記号
- M17-13-76
- 連携機関・データベース
- 国立国会図書館 : 国立国会図書館蔵書
- 書誌ID(NDLBibID)
- 023593600
- OCLC番号
- 782912309
- 目録規則
- 英米目録規則
- 整理区分コード
- 215