本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1980年代
(10)
1990年代
(8)
2000年代
(23)
2010年代
(32)
2020年代
(5)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（12）
雑誌
（63）
新聞
和古書・漢籍
博士論文
（1）
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
（2）
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（15）
紙
（64）
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 78 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
International Standards on Assurance
International Standards on Assurance
デジタル
文書・図像類
木下, 佳樹
神奈川大学情報学研究所
2025-06-30
神奈川大学情報学研究所彙報
2025-0004
p.2-5
全国の図書館
著者標目
木下, 佳樹
システムのコンポーネント構成に着眼したCDネット販売における障害対応のassurance case作成 (算譜科学研究速報 ; AIST-PS-2012-3)
システムのコンポーネント構成に着眼したCDネット販売における障害対応のassurance case作成 (算譜科学研究速報 ; AIST-PS-2012-3)
紙
図書
湯浅能史, 木下佳樹 [著], 産業技術総合研究所 (組込みシステム技術連携研究体) 編
産業技術総合研究所
2012.5
<Y251-J2041>
国立国会図書館
情報システムディペンダビリティ認証項目について (算譜科学研究速報 ; AIST-PS-2010-4)
情報システムディペンダビリティ認証項目について (算譜科学研究速報 ; AIST-PS-2010-4)
紙
図書
木下佳樹, 高井利憲 [著], 産業技術総合研究所 (組込みシステム技術連携研究体) 編
産業技術総合研究所
2010.7
<Y251-J1306>
国立国会図書館
Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)
Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)
紙
図書
木下佳樹 [著], 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2008.9
<Y251-J512>
国立国会図書館
情報産業とシステム検証 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.2)
情報産業とシステム検証 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.2)
紙
図書
木下佳樹 [著]
産業技術総合研究所関西センター尼崎事業所情報科学連携研究体
2003.2
<Y251-H15>
国立国会図書館
第二種基礎研究の方法 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.4)
第二種基礎研究の方法 (産業技術総合研究所算譜科学グループ研究速報 ; v.3 no.4)
紙
図書
木下佳樹 [著]
産業技術総合研究所関西センター尼崎事業所情報科学連携研究体
2003.3
<Y251-H75>
国立国会図書館
ディペンダビリティ調査報告 : 2月22日～3月9日 : Newcastle,Edinburgh,York,BAth,London,UK (算譜科学研究速報 ; AIST-PS-2009-2)
ディペンダビリティ調査報告 : 2月22日～3月9日 : Newcastle,Edinburgh,York,BAth,London,UK (算譜科学研究速報 ; AIST-PS-2009-2)
紙
図書
木下佳樹, 武山誠, 松野裕 [著], 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2009.5
<Y251-J856>
国立国会図書館
オープンシステムディペンダビリティに関する考察 : 「視点の動的網」による解決 (算譜科学研究速報 ; AIST-PS-2010-3)
オープンシステムディペンダビリティに関する考察 : 「視点の動的網」による解決 (算譜科学研究速報 ; AIST-PS-2010-3)
紙
図書
木下佳樹, 高井利憲, 田口研治, 武山誠 [著], 産業技術総合研究所 (組込みシステム技術連携研究体) 編
産業技術総合研究所
2010.5
<Y251-J1305>
国立国会図書館
ディペンダブル・セキュアコンピューティングの基本概念と用語 : 対訳 (算譜科学研究速報 ; AIST-PS-2009-8)
ディペンダブル・セキュアコンピューティングの基本概念と用語 : 対訳 (算譜科学研究速報 ; AIST-PS-2009-8)
紙
図書
木下佳樹, 松野裕, 高村博紀, 武山誠 訳, 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2009.8
<Y251-J1015>
国立国会図書館
フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)
フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)
紙
図書
木下佳樹, 高井利憲 [著], 産業技術総合研究所システム検証研究センター 編
産業技術総合研究所システム検証研究センター
2008.3
<Y251-J245>
国立国会図書館
数理的技法普及のために求められる技術と教育
数理的技法普及のために求められる技術と教育
デジタル
文書・図像類
木下, 佳樹
2007-09-06
p.1-27
全国の図書館
著者標目
木下, 佳樹
On attaching the module construct to static semantics of formal languages
On attaching the module construct to static semantics of formal languages
紙
デジタル
博士論文
障害者向け資料あり
木下佳樹 [著]
<UT51-89-S93>
インターネットで読める
国立国会図書館
著者標目
木下, 佳樹
モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
紙
図書
青木利晃, 粂野文洋, 木下佳樹, 篠崎孝一, 高木理, 高村博紀, 田口研治, 中原早生, 西原秀明, 早水公二, 本位田真一, 渡邊宏 [著], 産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所
2008.8
<Y251-J511>
国立国会図書館
ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
紙
図書
産業技術総合研究所 (システム検証研究センター) 編
産業技術総合研究所システム検証研究センター
2008.12
<M159-J554>
国立国会図書館
Science journal of Kanagawa University
Science journal of Kanagawa University
紙
雑誌
雑誌タイトル
Science journal of Kanagawa University編集委員会 編
神奈川大学総合理学研究所
2005-
<Z14-1544>
国立国会図書館
全国の図書館
このタイトルの巻号
コンピュータソフトウェア
コンピュータソフトウェア
紙
雑誌
雑誌タイトル
日本ソフトウェア科学会 編
日本ソフトウェア科学会
1984-
<Z14-1033>
国立国会図書館
全国の図書館
このタイトルの巻号
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
雑誌タイトル
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
このタイトルの巻号
パワフルかんさい : 近畿経済産業局施策広報誌
パワフルかんさい : 近畿経済産業局施策広報誌
紙
雑誌
雑誌タイトル
近畿経済産業局, 経済産業調査会近畿本部 編
経済産業調査会近畿本部
2004-2010
<Z3-943>
国立国会図書館
このタイトルの巻号
標準化と品質管理
標準化と品質管理
紙
デジタル
雑誌
雑誌タイトル
日本規格協会
1964-2020
<Z4-181>
インターネットで読める
国立国会図書館
全国の図書館
このタイトルの巻号
Computer today
Computer today
紙
デジタル
雑誌
雑誌タイトル
サイエンス社
1984-2003
<Z14-1031>
国立国会図書館
全国の図書館
このタイトルの巻号
もっと見る（21件目～）
書誌情報を一括出力
RSS
RSS