検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

所蔵数 1 在庫数 1 予約数 0

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0014827976図書一般007.61/ﾋﾗ19/2F自然貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

形式的モデル化

人名 平石 邦彦／著
人名ヨミ ヒライシ クニヒコ
出版者・発行者 森北出版
出版年月 2019.1

書誌詳細

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

書誌種別 図書
タイトル 形式的モデル化
サブタイトル 離散事象/実時間/ハイブリッドシステムのモデル化と解析
タイトルヨミ ケイシキテキ モデルカ
サブタイトルヨミ リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
人名 平石 邦彦／著
人名ヨミ ヒライシ クニヒコ
出版者・発行者 森北出版
出版者・発行者等ヨミ モリキタ シュッパン
出版地・発行地 東京
出版・発行年月 2019.1
ページ数または枚数・巻数 8,229p
大きさ 22cm
価格 ￥４６００
ISBN 978-4-627-85421-5
ISBN 4-627-85421-5
注記 文献:p222〜225
分類記号 007.61
件名 システム工学
内容紹介 離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。
著者紹介 東京工業大学理工学研究科制御工学専攻修了。北陸先端科学技術大学院大学情報科学研究科教授。同大学情報社会基盤研究センター長。工学博士。
言語区分 JPN
タイトルコード 1009812279591



目次


内容細目

関連資料

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

007.61　007.61
【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【システム設計のセオリー2】 システム設計のセオリー2
 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【システムの失敗を克服するメタシステ…】 システムの失敗を克服するメタシステ…
中村 隆文／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【カオスエンジニアリング入門】 カオスエンジニアリング入門
澤橋 松王／監修… 【オブジェクト指向でなぜつくるのか　…】 オブジェクト指向でなぜつくるのか　…
平澤 章／著 【オブジェクト指向の考え方　：　概念…】 オブジェクト指向の考え方　：　概念…
Matt Wei… 【ローコード革命】 ローコード革命
篠田 ヒロシ／著… 【要件定義のセオリーと実践方法がこれ…】 要件定義のセオリーと実践方法がこれ…
上村 有子／著 【元セールスが伝えたい情報システム構…】 元セールスが伝えたい情報システム構…
山田 耕嗣／編著 【システム技術に基づく安全設計ガイド…】 システム技術に基づく安全設計ガイド…
組込みシステム技… 【トコトンやさしい組込みシステムの本】 トコトンやさしい組込みシステムの本
坂巻 佳壽美／著 【組込みエンジニアの教科書】 組込みエンジニアの教科書
渡辺 登／著,牧… 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【インフラ設計のセオリー　：　要件定…】 インフラ設計のセオリー　：　要件定…
JIEC基盤エン… 【システム開発のための見積りのすべて…】 システム開発のための見積りのすべて…
佐藤 大輔／著,… 【本当に使える開発プロセス　：　シス…】 本当に使える開発プロセス　：　シス…
岡 大勝／著,三… 【インフラCI実践ガイド　：　Ans…】 インフラCI実践ガイド　：　Ans…
中島 倫明／著,… 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著
007.61　007.61
【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【システム設計のセオリー2】 システム設計のセオリー2
 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【システムの失敗を克服するメタシステ…】 システムの失敗を克服するメタシステ…
中村 隆文／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【カオスエンジニアリング入門】 カオスエンジニアリング入門
澤橋 松王／監修… 【オブジェクト指向でなぜつくるのか　…】 オブジェクト指向でなぜつくるのか　…
平澤 章／著 【オブジェクト指向の考え方　：　概念…】 オブジェクト指向の考え方　：　概念…
Matt Wei… 【ローコード革命】 ローコード革命
篠田 ヒロシ／著… 【要件定義のセオリーと実践方法がこれ…】 要件定義のセオリーと実践方法がこれ…
上村 有子／著 【元セールスが伝えたい情報システム構…】 元セールスが伝えたい情報システム構…
山田 耕嗣／編著 【システム技術に基づく安全設計ガイド…】 システム技術に基づく安全設計ガイド…
組込みシステム技… 【トコトンやさしい組込みシステムの本】 トコトンやさしい組込みシステムの本
坂巻 佳壽美／著 【組込みエンジニアの教科書】 組込みエンジニアの教科書
渡辺 登／著,牧… 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【インフラ設計のセオリー　：　要件定…】 インフラ設計のセオリー　：　要件定…
JIEC基盤エン… 【システム開発のための見積りのすべて…】 システム開発のための見積りのすべて…
佐藤 大輔／著,… 【本当に使える開発プロセス　：　シス…】 本当に使える開発プロセス　：　シス…
岡 大勝／著,三… 【インフラCI実践ガイド　：　Ans…】 インフラCI実践ガイド　：　Ans…
中島 倫明／著,… 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著
システム工学
【システムズエンジニアリングに基づく…】 システムズエンジニアリングに基づく…
後町 智子／著,… 【現代システム科学概論　：　システム…】 現代システム科学概論　：　システム…
木村 英紀／著 【システムのはなし　：　複雑化・多様…】 システムのはなし　：　複雑化・多様…
大村 平／著 【システム・アーキテクチャ　：　複雑…】 システム・アーキテクチャ　：　複雑…
E.クロウリー／… 【モデルベースシステムズエンジニアリ…】 モデルベースシステムズエンジニアリ…
David Lo… 【システムズエンジニアリングハンドブ…】 システムズエンジニアリングハンドブ…
David D.… 【システムのレジリエンス　：　さまざ…】 システムのレジリエンス　：　さまざ…
情報・システム研… 【世界を動かす技術思考　：　要素から…】 世界を動かす技術思考　：　要素から…
木村 英紀／編著 【デザイン・ストラクチャー・マトリク…】 デザイン・ストラクチャー・マトリク…
スティーブン・D… 【システム工学で描く持続可能文明の設…】 システム工学で描く持続可能文明の設…
石田 武志／著 【システム解析】 システム解析
黒田 千秋／編集 【エンジニアリングシステムズ　：　複…】 エンジニアリングシステムズ　：　複…
オリヴィエ・L.… 【システム工学　：　定量的な意思決定…】 システム工学　：　定量的な意思決定…
井上 雅裕／共著… 【システムズアプローチによる問題解決…】 システムズアプローチによる問題解決…
池田 將明／著 【工科系のためのシステム工学　：　力…】 工科系のためのシステム工学　：　力…
山本 郁夫／著,… 【知的システム工学】 知的システム工学
三木 光範／著 【システム工学　：　問題発見・解決の…】 システム工学　：　問題発見・解決の…
井上 雅裕／共著… 【システム工学　：　計画・分析の方法】 システム工学　：　計画・分析の方法
池田 將明／共著… 【知識構成システム論】 知識構成システム論
中森 義輝／著 【セーフウェア　：　安全・安心なシス…】 セーフウェア　：　安全・安心なシス…
ナンシー・G.レ… 【自律分散システム入門　：　システム…】 自律分散システム入門　：　システム…
森 欣司／著 【エジソン理系の想像力】 エジソン理系の想像力
名和 小太郎／著 【システム工学】 システム工学
室津 義定／共著… 【生産企業のマネジメント　：　利益最…】 生産企業のマネジメント　：　利益最…
松井 正之／著 【Applied economic …】 Applied economic …
Tsutomu …
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。