蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
| 書名 |
現代詩年鑑 2016
|
| 出版者 |
思潮社
|
| 出版年月 |
2015.12 |
| 請求記号 |
9115/00002/16 |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
※この書誌は予約できません。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
資料種別 |
配架場所 |
別置 |
帯出 |
状態 |
| 1 |
鶴舞 | 0236784518 | 一般和書 | 2階書庫 | | 禁帯出 | 在庫 |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| 請求記号 |
0076/05474/ |
| 書名 |
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座) |
| 著者名 |
大須賀昭彦/監修
長谷川哲夫/著
田原康之/著
|
| 出版者 |
近代科学社
|
| 出版年月 |
2012.9 |
| ページ数 |
183p |
| 大きさ |
24cm |
| シリーズ名 |
トップエスイー実践講座 |
| シリーズ巻次 |
5 |
| ISBN |
978-4-7649-0431-6 |
| 分類 |
00763
|
| 一般件名 |
ソフトウェア工学
|
| 書誌種別 |
一般和書 |
| 内容注記 |
文献:p163〜167 |
| 内容紹介 |
実時間システム開発向けモデル検査ツール「UPPAAL」のテキスト。UPPAALツールをはじめ、時間オートマトン、時間時相論理に関する知識、UML設計仕様のUPPAALによるモデル化方法などを解説する。 |
| タイトルコード |
1001210064588 |
| 要旨 |
キューバ革命からペルー大使館人質事件まで、政情不安と経済難にあえぐ中南米の国々。しかしその一方で、ステップを踏んで人々は歌う。彼らにとっての歌とは癒しなのか、それとも武器なのか。メキシコ、キューバ、チリ…あてどない放浪の道程と、アーティストたちとの心のふれあいを綴った、一人の日本人女性シンガーによる音楽紀行エッセイ。 |
| 目次 |
1 オペラ座の佳人 2 異聞『コンドルは飛んでいく』 3 『ベンセレーモス』の死 4 国境の南で 5 亡命者たちの楽園 6 時代は心を生み出してゆく 7 そして歌いながらの革命 8 ブエノスアイレスの祈り 9 黒いギター 10 チリ、ふたたび 11 流れの中で 12 ハリスコ・パーク 13 流れは変わる |
内容細目表:
前のページへ