感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 0 人がよやくしています。
  • ・この本をよやくをするときは、「よやくカートに入れる」ボタンをクリックしてください。よやくするには、図書館がはっこうしたパスワードが必要です。
    ・「よやくカートに入れる」ボタンが出ないものはインターネットからよやくできません。

ぞうしょじょうほう

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

本のかず 22 ざいこのかず 18 よやくのかず 0

しょしじょうほうサマリ

本のだいめい

陰陽師　水龍ノ巻 　([「陰陽師」シリーズ])

書いた人の名前 夢枕獏／著
しゅっぱんしゃ 文藝春秋
しゅっぱんねんげつ 2021.8
本のきごう F/02078/１５

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

とうろくするほんだなログインすると、マイほんだながりようできます。

本のばしょ

各蔵書資料に関する詳細情報です。

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0237918057一般和書１階開架　在庫 
2 西2132560521一般和書一般開架　在庫 
3 熱田2232444824一般和書一般開架　貸出中 
4 南2332305503一般和書一般開架　在庫 
5 東2432632384一般和書一般開架　在庫 
6 中村2532315534一般和書一般開架　貸出中 
7 港2632447112一般和書一般開架　在庫 
8 北2732384652一般和書一般開架　在庫 
9 千種2832250696一般和書一般開架　在庫 
10 瑞穂2932502442一般和書一般開架　在庫 
11 瑞穂2932769454一般和書一般開架　在庫 
12 中川3032428009一般和書一般開架　在庫 
13 守山3132559612一般和書一般開架　貸出中 
14 緑3232484679一般和書一般開架　在庫 
15 名東3332659865一般和書一般開架　在庫 
16 天白3432446395一般和書一般開架　在庫 
17 山田4130889530一般和書一般開架　在庫 
18 南陽4230979686一般和書一般開架　在庫 
19 楠4331521593一般和書一般開架　在庫 
20 富田4431461252一般和書一般開架　在庫 
21 志段味4530911272一般和書一般開架　貸出中 
22 徳重4630736926一般和書一般開架　在庫 

かんれんしりょう

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

3693

しょししょうさい

この資料の書誌詳細情報です。

本のきごう F/02078/１５
本のだいめい 陰陽師　水龍ノ巻 　([「陰陽師」シリーズ])
書いた人の名前 夢枕獏／著
しゅっぱんしゃ 文藝春秋
しゅっぱんねんげつ 2021.8
ページすう 314p
おおきさ 20cm
シリーズめい [「陰陽師」シリーズ]
シリーズかんじ [短編集15]
ISBN 978-4-16-391409-1
ぶんるい 9136
本のしゅるい 一般和書
ないようちゅうき 内容:麩枕 野僮游光 いそざき 読人しらず 腐草螢と為る 跳ねる【カミ】【カキ】踊る針 秘帖・陰陽師赤死病の仮面 蘇莫者
ないようしょうかい 源博雅の笛・葉二の過去、蝉丸の若き日の恋。そして、人の魂を召喚する秘儀の正体とは。安倍晴明と源博雅のコンビが平安の怪異を説き明かす! 中編「蘇莫者」や「秘帖・陰陽師赤死病の仮面」を含む全8編を収録。
タイトルコード 1002110043687

ようし 実時間システム開発向けモデル検査ツールの標準ＵＰＰＡＡＬの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
もくじ 第１章　ＵＰＰＡＡＬを使ってみよう
第２章　ＵＰＰＡＡＬのシステムモデルと検証式
第３章　検証プロセス
第４章　ケーススタディ（１）オートクラッチ車ギア制御
第５章　ケーススタディ（２）オーディオデータ通信プロトコル
第６章　ソフトウェア設計とモデル検査
第７章　おわりに
ちょしゃじょうほう 大須賀 昭彦
　１９８１年上智大学理工学部数学科卒業。株式会社東芝。１９８５年〜１９８９年（財）新世代コンピュータ技術開発機構（ＩＣＯＴ）。１９９５年工学博士（早稲田大学）。現在、電気通信大学大学院情報システム学研究科教授。ＩＥＥＥ　Ｃｏｍｐｕｔｅｒ　Ｓｏｃｉｅｔｙ　Ｊａｐａｎ　Ｃｈａｐｔｅｒ　Ｃｈａｉｒ、人工知能学会理事、日本ソフトウェア科学会理事などを歴任。ソフトウェア工学、人工知能の研究に従事(本データはこの書籍が刊行された当時に掲載されていたものです)
長谷川 哲夫
　１９８７年早稲田大学大学院理工学研究科電気工学修士課程修了。現在、株式会社東芝ソフトウエア技術センター。ソフトウェア工学、自律分散システム、仮想化技術などの研究開発に従事(本データはこの書籍が刊行された当時に掲載されていたものです)
田原 康之
　１９９１年東京大学大学院理学系研究科修士課程修了。株式会社東芝。２００３年国立情報学研究所。現在、電気通信大学大学院情報システム学研究科准教授、博士（情報科学）。エージェント技術、ソフトウェア工学の研究に従事。特に、エージェント指向開発方法論、モデル検査技術、および要求分析技術に興味を持つ(本データはこの書籍が刊行された当時に掲載されていたものです)
磯部 祥尚
　１９９２年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員、工学博士。形式手法による並行システムの検証に関する研究に従事(本データはこの書籍が刊行された当時に掲載されていたものです)


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。