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

検索結果書誌詳細

じどう図書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

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

所蔵数 21 在庫数 19 予約数 0

書誌情報サマリ

書名

ごきげんなライオンともだちさがしに

著者名 ルイーズ・ファティオ／文 ロジャー・デュボアザン／絵 今江祥智／訳
出版者 BL出版
出版年月 2010.4
請求記号 ｴ/25034/

この資料に対する操作

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

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0235597390じどう図書じどう開架　在庫 
2 西2131824357じどう図書じどう開架　在庫 
3 熱田2231673118じどう図書じどう開架　在庫 
4 熱田2232525408じどう図書じどう開架　貸出中 
5 南2331605812じどう図書じどう開架　在庫 
6 東2431729728じどう図書じどう開架　在庫 
7 中村2531656672じどう図書じどう開架　在庫 
8 中村2532417710じどう図書じどう開架　在庫 
9 港2631747876じどう図書じどう開架　在庫 
10 北2731659567じどう図書じどう開架　在庫 
11 瑞穂2931667378じどう図書じどう開架　貸出中 
12 中川3031687647じどう図書じどう開架　在庫 
13 守山3131857595じどう図書じどう開架　在庫 
14 緑3231740659じどう図書じどう開架　在庫 
15 名東3331832885じどう図書じどう開架　在庫 
16 天白3431677263じどう図書じどう開架　在庫 
17 南陽4230478069じどう図書じどう開架　在庫 
18 楠4330999204じどう図書じどう開架　在庫 
19 富田4430944548じどう図書じどう開架　在庫 
20 志段味4530401613じどう図書じどう開架　在庫 
21 徳重4630013292じどう図書じどう開架　在庫 

関連資料

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

書誌詳細

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

請求記号 ｴ/25034/
書名 ごきげんなライオンともだちさがしに
著者名 ルイーズ・ファティオ／文 　 ロジャー・デュボアザン／絵 　 今江祥智／訳
出版者 BL出版
出版年月 2010.4
ページ数 [32p]
大きさ 27cm
ISBN 978-4-7764-0411-8
一般注記 「ともだちさがしに」(佑学社 1978年刊)の再刊
原書名 The happy lion's quest
分類 ｴ
書誌種別 じどう図書
内容紹介 最近、ごきげんなライオンくんは、元気がありません。仲良しのフランソワくんが、遠くの中学校に行ってしまったのです。ある夜、ライオンくんは、動物園をぬけだして…。どこかまのぬけたライオンくんが活躍する名作シリーズ。
タイトルコード 1001010005846

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


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。