国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(23)
1990年代
(51)
2000年代
(66)
2010年代
(16)
2020年代
(12)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(103)
雑誌
新聞
和古書・漢籍
博士論文
(9)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(40)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(49)
紙
(103)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 152 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
グラフからマルチセットへの時相論理を用いた抽象化
グラフからマルチセットへの時相論理を用いた抽象化
紙
図書
萩谷昌己, 東京大学 [著]
[萩谷昌己]
2006-2007
<Y151-H18500003>
国立国会図書館
件名
シェイプ解析 /
静的
解析 / 停止性解析 / モデル検査 / 様相論理
高分子電解質ナノ架橋体に見られる粒子内・粒子間相互作用に関する分子論的研究
高分子電解質ナノ架橋体に見られる粒子内・粒子間相互作用に関する分子論的研究
紙
図書
國府田悦男, 筑波大学 [著]
[國府田悦男]
2003-2005
<Y151-H15350127>
国立国会図書館
件名
両性高分子電解質 / ナノゲル微粒子 / バルクゲル / 解離基分布 /
静的
光散乱実験 /
静的
光散乱実験 / 電気泳動光散乱
岩国錦帯橋における伝統技法と強度に関する研究
岩国錦帯橋における伝統技法と強度に関する研究
紙
図書
腰原幹雄, 東京大学 [著]
[腰原幹雄]
2002-2004
<Y151-H14350295>
国立国会図書館
件名
木橋 / 岩国 / 錦帯橋 / 経年変化 /
静的
載荷
Web応用システムのための
静的
意味検査システムの研究
Web応用システムのための静的意味検査システムの研究
紙
図書
徳田雄洋, 東京工業大学 [著]
[徳田雄洋]
2003-2004
<Y151-H15500018>
国立国会図書館
件名
World Wide Web / Web応用システム /
静的
意味検査
AE測定による
静的
破砕剤の岩石破壊機構解明と暴発警報装置開発のための基礎検討
AE測定による静的破砕剤の岩石破壊機構解明と暴発警報装置開発のための基礎検討
紙
図書
石田毅, 山口大学 [著]
[石田毅]
2001-2003
<Y151-H13650986>
国立国会図書館
件名
静的
破砕剤 / Acoustic Emission / 熱応力 ...
走行車両との連成振動を考慮した道路橋の損傷推定に関する実験的・解析的研究
走行車両との連成振動を考慮した道路橋の損傷推定に関する実験的・解析的研究
紙
図書
金哲佑, 神戸大学 [著]
[金哲佑]
2005-2006
<Y151-H17560425>
国立国会図書館
件名
橋梁損傷推定 / アルゴリズム開発 / 交通振動 / 擬似
静的
関係式
小繰り返し地震の解析に基づく三陸沖における大地震と津波地震の発生過程の解明
小繰り返し地震の解析に基づく三陸沖における大地震と津波地震の発生過程の解明
紙
図書
松澤暢, 東北大学 [著]
[松澤暢]
2003-2006
<Y151-H15510145>
国立国会図書館
件名
繰り返し地震 / 相似地震 / 準
静的
すべり / 余効すべり / 固有地震
コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
紙
図書
佐々政孝, 東京工業大学 [著]
[佐々政孝]
2004-2006
<Y151-H16500016>
国立国会図書館
件名
コンパイラ / 最適化 /
静的
単一代入形式 (SSA形式) / モデル検査 / 時相論理
混合型複合構造の簡易な部材接合に関する研究
混合型複合構造の簡易な部材接合に関する研究
紙
図書
角田與史雄, 北海道大学 [著]
[角田與史雄]
2002-2003
<Y151-H14350229>
国立国会図書館
件名
接合部 / ループ継手 / 重ね継手 /
静的
耐力 / 疲労耐久性
通し柱を有する伝統木造建物における軸組・接合部の破壊モードと耐力の評価に関する研究
通し柱を有する伝統木造建物における軸組・接合部の破壊モードと耐力の評価に関する研究
デジタル
博士論文
障害者向け資料あり
青木, 和雄
Kyoto University
2023-03-23
インターネットで読める
国立国会図書館
全国の図書館
件名
伝統木造建物 通し柱 込栓接合部
静的
加力実験 FEM解析
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
紙
図書
関浩之, 奈良先端科学技術大学院大学 [著]
[関浩之]
2006-2007
<Y151-H18500023>
国立国会図書館
件名
形式的検証 / モデル検査 /
静的
解析 / 形式言語 / アクセス制御 / XML / セキュ...
空間構造の
静的
及び動的挙動に関する研究
空間構造の静的及び動的挙動に関する研究
紙
図書
宮崎, 明美, 東京大学
1998-2000
<Y151-H10045037>
国立国会図書館
件名
地震 自然災害 空間構造
静的
挙動 動的挙動
健常者における足アーチ高の標準値の確立に関する研究
健常者における足アーチ高の標準値の確立に関する研究
紙
図書
尾田敦, 弘前大学 [著]
[尾田敦]
2005-2007
<Y151-H17300215>
国立国会図書館
件名
足アーチ / 扁平足 / footprint / 外反母趾 / 内反母趾 /
静的
アライメント / 動的アライメント / 理学療法
運動時の栄養摂取は消化器官と活動筋における血流配分の競合をもたらすのか?
運動時の栄養摂取は消化器官と活動筋における血流配分の競合をもたらすのか?
紙
図書
定本朋子, 日本女子体育大学, 奈良女子大学 [著]
[定本朋子]
2002-2003
<Y151-H14380017>
国立国会図書館
件名
グルコース / フルクトース / 上腸間膜動脈血流 / 動脈血圧 /
静的
運動
人の足底アーチの動的機能及び足部センサーの開発に関する研究
人の足底アーチの動的機能及び足部センサーの開発に関する研究
紙
図書
加倉井, 周一, 北里大学
2000-2001
<Y151-H12832051>
国立国会図書館
件名
足底アーチ
静的
機能 動的機能 導電性ゴムセンサー
静的
崩壊熱除去系での利用を目指した二相熱サイフォンの高度化
静的崩壊熱除去系での利用を目指した二相熱サイフォンの高度化
紙
図書
神永文人, 茨城大学 [著]
[神永文人]
2002-2004
<Y151-H14580540>
国立国会図書館
件名
二相熱サイフォン / 沸騰熱伝導 / 最大熱流束 / 凝縮熱伝達 / 崩壊熱除去 /
静的
機器
放射光を利用した超臨界金属流体の結合性、ゆらぎとダイナミクス研究
放射光を利用した超臨界金属流体の結合性、ゆらぎとダイナミクス研究
紙
図書
乾雅祝, 広島大学 [著]
[乾雅祝]
2004-2006
<Y151-H16340114>
国立国会図書館
件名
液体金属 /
静的
構造 / 動的構造 / 非弾性X線散乱 / X線小角散乱 /...
加熱調理において食材に現われる状態変化の巨視的および微視的観察
加熱調理において食材に現われる状態変化の巨視的および微視的観察
紙
図書
長尾, 慶子, 東京家政大学
2001-2002
<Y151-H13680168>
国立国会図書館
件名
食材系 相転移 デンプンの糊化 微視的観察 熱移動現象
静的
弾性率
ピン柱および剛接柱からなるブレ-ス付鋼骨組の設計法の開発
ピン柱および剛接柱からなるブレ-ス付鋼骨組の設計法の開発
紙
図書
内田, 保博, 鹿児島大学
2001-2002
<Y151-H13650634>
国立国会図書館
件名
筋違付鋼骨組 立体 ピン柱 耐力低下 偏心 安定性
静的
解析 動的解析
支点状態から診断する既設鋼鈑桁橋の簡易健全度評価手法の開発
支点状態から診断する既設鋼鈑桁橋の簡易健全度評価手法の開発
紙
図書
岩崎正二, 岩手大学 [著]
[岩崎正二]
2005-2007
<Y151-H17560419>
国立国会図書館
件名
既設鋼鈑桁橋 /
静的
載荷試験 / 動的載荷試験 / 支点拘束 / 経年劣化 / ...
もっと見る(21件目~)
書誌情報を一括出力