国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(13)
2000年代
(103)
2010年代
(62)
2020年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(54)
雑誌
(129)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
(1)
電子資料
(3)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(8)
紙
(179)
マイクロ
記録メディア
(3)
すべて解除
絞り込み条件
絞り込み条件
検索結果 185 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
紙
図書
中島震 著
丸善出版
2022.12
<DH211-M907>
国立国会図書館
全国の図書館
優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために
優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために
紙
図書
Daniel Jackson 著, 中島震 訳
丸善出版
2023.6
<M154-M569>
国立国会図書館
全国の図書館
ソフトウェア工学から学ぶ機械学習の品質問題
ソフトウェア工学から学ぶ機械学習の品質問題
紙
図書
中島震 著
丸善出版
2020.11
<M121-M304>
国立国会図書館
全国の図書館
ソフトウェア工学の道具としての形式手法 (NII technical report NII-2007-007J)
ソフトウェア工学の道具としての形式手法 (NII technical report NII-2007-007J)
デジタル
電子書籍・電子雑誌
障害者向け資料あり
中島震
国立情報学研究所
2007-07
インターネットで読める
国立国会図書館
ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
紙
図書
中谷多哉子, 中島震 編著
放送大学教育振興会
2019.3
<M154-M73>
国立国会図書館
全国の図書館
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
紙
図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors
Springer
[2021]
<M154-D14>
国立国会図書館
全国の図書館
デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて
デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて
紙
デジタル
図書
高梨千賀子, 福本勲, 中島震 編著
近代科学社
2019.4
<DL311-M1>
国立国会図書館
全国の図書館
ソフトウェア工学
ソフトウェア工学
紙
図書
中谷多哉子, 中島震編著
放送大学教育振興会
2019.3
全国の図書館
Event-B : リファインメント・モデリングに基づく形式手法
Event-B : リファインメント・モデリングに基づく形式手法
紙
デジタル
図書
中島震, 來間啓伸 共著
近代科学社
2015.2
<M159-L622>
国立国会図書館
全国の図書館
著者紹介
中島 震
(国立情報学研究所教授) 來間 啓伸(日立製作所)
形式手法入門 : ロジックによるソフトウェア設計
形式手法入門 : ロジックによるソフトウェア設計
紙
図書
中島震 著
オーム社
2012.4
<M159-J1592>
国立国会図書館
全国の図書館
An algebraic approach to object-oriented software engineering
An algebraic approach to object-oriented software engineering
紙
博士論文
中島震 [著]
[中島震]
2000
<UT51-2002-B192>
国立国会図書館
Cyber-physical system design from an architecture analysis viewpoint : communications of NII Shonan Meetings
Cyber-physical system design from an architecture analysis viewpoint : communications of NII Shonan Meetings
紙
図書
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, editors.
Springer
[2017]
<M154-B221>
国立国会図書館
SPINモデル検査 : 検証モデリング技法
SPINモデル検査 : 検証モデリング技法
紙
デジタル
図書
中島震 著
近代科学社
2008.4
<M159-J150>
国立国会図書館
全国の図書館
ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)
ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)
紙
図書
中島震 [著]
National Institute of Informatics
2007.7
<Y251-H1617>
国立国会図書館
ソフト・エッジ : ソフトウェア開発の科学を求めて (丸善ライブラリー ; 383. 情報研シリーズ ; 17)
ソフト・エッジ : ソフトウェア開発の科学を求めて (丸善ライブラリー ; 383. 情報研シリーズ ; 17)
紙
図書
児童書
情報・システム研究機構国立情報学研究所 監修, 中島震, みわよしこ 著
丸善出版
2013.3
<M159-L108>
国立国会図書館
全国の図書館
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
紙
図書
中島震著
近代科学社
2008.4
全国の図書館
代数仕様アプローチによる制的モデル検査手法の研究
代数仕様アプローチによる制的モデル検査手法の研究
紙
図書
研究代表者 中島震
[国立情報学研究所]
2008.6
全国の図書館
抽象によるソフトウェア設計 : Alloyではじめる形式手法
抽象によるソフトウェア設計 : Alloyではじめる形式手法
紙
デジタル
図書
Daniel Jackson 著, 中島震 監訳, 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳
オーム社
2011.7
<M159-J1354>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
紙
図書
中島震, 鷲崎弘宜 編
近代科学社
2009.11
<M159-J740>
国立国会図書館
全国の図書館
オープン・イノベーション・システム : 欧州における自動車組込みシステムの開発と標準化
オープン・イノベーション・システム : 欧州における自動車組込みシステムの開発と標準化
紙
図書
徳田昭雄, 立本博文, 小川紘一 編著
晃洋書房
2011.7
<DL438-J420>
国立国会図書館
全国の図書館
内容細目
...ェーズに向かうAUTOSAR
中島 震
/著 開発環境/ツールチェーンの研究開発と標準化 : 欧州に...
もっと見る(21件目~)
書誌情報を一括出力