国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(3)
1980年代
(14)
1990年代
(21)
2000年代
(51)
2010年代
(20)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(33)
雑誌
(61)
新聞
和古書・漢籍
博士論文
(11)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(3)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(22)
紙
(84)
マイクロ
(1)
記録メディア
(3)
すべて解除
絞り込み条件
絞り込み条件
検索結果 106 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
紙
図書
荒木啓二郎, 九州大学 [著]
[荒木啓二郎]
2004-2006
<Y151-H16300007>
国立国会図書館
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
紙
図書
荒木, 啓二郎, 九州大学
2000-2001
<Y151-H12680354>
国立国会図書館
システム理論に基づくICT利活用プロジェクトのリスク低減化手法の研究
システム理論に基づくICT利活用プロジェクトのリスク低減化手法の研究
デジタル
文書・図像類
日下部, 茂, 小松, 文子, 加藤, 雅彦, 荒木, 啓二郎, KUSAKABE, Shigeru, KOMATSU, Ayako, KATO, Masahiko, ARAKI, Keijiro
長崎県立大学
2018-03-31
学長裁量研究成果報告
平成29年度 シーボルト校
p.1-2
全国の図書館
セキユリテイプロトコルの形式的記述および検証に関する基礎的研究
セキユリテイプロトコルの形式的記述および検証に関する基礎的研究
紙
図書
荒木, 啓二郎, 九州大学
1998-1999
<Y151-H10680358>
国立国会図書館
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
紙
デジタル
図書
石川冬樹 著, 荒木啓二郎 監修
近代科学社
2011.7
<M159-J1362>
国立国会図書館
全国の図書館
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
紙
図書
荒木, 啓二郎, 奈良先端科学技術大学院大学
1992-1993
<Y151-H04452196>
国立国会図書館
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
紙
図書
研究代表者 荒木啓二郎
[九州大学]
2007.3
全国の図書館
ソフトウェア開発のモデル化技法
ソフトウェア開発のモデル化技法
紙
マイクロ
図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳
岩波書店
2003.2
<YU7-H366>
国立国会図書館
全国の図書館
Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
紙
図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
Springer
c2008
全国の図書館
プログラム仕様記述論 (IT text)
プログラム仕様記述論 (IT text)
紙
図書
荒木啓二郎, 張漢明 共著
オーム社
2002.11
<M159-H44>
国立国会図書館
全国の図書館
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
紙
図書
Zhiming Liu, Keijiro Araki (eds.)
Springer
c2005
全国の図書館
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
紙
図書
研究代表者
荒木 啓二郎
[九州大学]
2002.3
全国の図書館
セキュリティプロトコルの形式的記述および検証に関する基礎的研究
セキュリティプロトコルの形式的記述および検証に関する基礎的研究
紙
図書
研究代表者荒木啓二郎
[九州大学]
2000.3
全国の図書館
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
紙
図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Springer
c2003
全国の図書館
(付属電子媒体)ソフトウェア開発のモデル化技法
(付属電子媒体)ソフトウェア開発のモデル化技法
紙
図書
J.フィッツジェラルド 著 ; P.G.ラーセン 著 ; 荒木啓二郎 ほか訳
岩波書店
2003.2
全国の図書館
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
紙
図書
荒木啓二郎, 張漢明 編
近代科学社
1999.12
<M159-G186>
国立国会図書館
全国の図書館
内容細目
...Ramamonjisoa‖著
荒木 啓二郎
/編 嘉数 侑昇/著 荻野 隆彦/著 張 漢明/著 小野 康...
Pascal型プログラムの公理論的検証法に関する研究
Pascal型プログラムの公理論的検証法に関する研究
紙
博士論文
荒木啓二郎 [著]
<UT51-58-E547>
国立国会図書館
プログラミング言語の意味論入門 (Information & computing ; 76)
プログラミング言語の意味論入門 (Information & computing ; 76)
紙
デジタル
図書
M.ヘネシー 著, 荒木啓二郎, 程京徳 訳
サイエンス社
1993.12
<M159-E2969>
国立国会図書館
全国の図書館
IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
紙
図書
Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)
Springer
c1999
全国の図書館
プログラミング言語Ada (Information & computing ; 11)
プログラミング言語Ada (Information & computing ; 11)
紙
デジタル
図書
J.G.P.バーンズ 著, 牛島和夫, 荒木啓二郎 共訳
サイエンス社
1987.6
<M159-1964>
インターネットで読める
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力