本文に飛ぶ
国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(2)
1980年代
(1)
1990年代
(34)
2000年代
(124)
2010年代
(92)
2020年代
(10)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(37)
雑誌
(206)
新聞
和古書・漢籍
博士論文
(6)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(3)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(10)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(28)
紙
(237)
マイクロ
記録メディア
(3)
すべて解除
絞り込み条件
絞り込み条件
検索結果 260 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
デジタル
博士論文
山根, 智
2015
国立国会図書館
組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
デジタル
文書・図像類
山根, 智
, Yamane, Satoshi
2021-06-18
令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report
2018-04-01 - 2021-03-31
p.6p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
研究社日本語口語表現辞典 第2版
研究社日本語口語表現辞典 第2版
紙
図書
児童書
山根智恵 監修, 佐藤友子, 奥村圭子 編集委員
研究社
2020.2
<KF91-M55>
国立国会図書館
全国の図書館
著者標目
山根, 智
恵, 1959- 佐藤, 友子, pub. 2013.11 ...
革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
デジタル
文書・図像類
山根, 智
, Yamane, Satoshi
2018-04-25
平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report
2015-04-01 - 2018-03-31
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
紙
図書
山根智, 金沢大学 [著]
[山根智]
2002-2004
<Y151-H14580368>
国立国会図書館
著者標目
山根, 智
金沢大学
日语口语词典
日语口语词典
紙
図書
山根智惠 主编, 佐藤友子, 松冈洋子, 奥村圭子 编, 潘钧 等 译
商務印書館
2020.2
<KF91-C6>
国立国会図書館
全国の図書館
著者標目
山根, 智
恵, 1959- 佐藤, 友子, pub. 2013.11 ...
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
紙
図書
山根, 智
, 金沢大学
1999-2001
<Y151-H11680360>
国立国会図書館
著者標目
山根, 智
動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
デジタル
文書・図像類
山根, 智
, Yamane, Satoshi
2015-06-09
平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report
2012-04-01 - 2015-03-31
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
デジタル
博士論文
山根, 智
2015
インターネットで読める
全国の図書館
著者標目
山根, 智
ドラマやまとなでしこで日本語を学ぼう!
ドラマやまとなでしこで日本語を学ぼう!
紙
図書
山根智恵 編著, 佐藤友子, 児玉正子 著
ふくろう出版
2011.9
<Y49-J364>
国立国会図書館
全国の図書館
著者標目
山根, 智
恵, 1959-
実時間システムの仕様記述と検証に関する研究
実時間システムの仕様記述と検証に関する研究
紙
デジタル
博士論文
障害者向け資料あり
山根智 [著]
<UT51-97-H414>
インターネットで読める
国立国会図書館
著者標目
山根, 智
オリンピックの言語学 : メディアの談話分析
オリンピックの言語学 : メディアの談話分析
紙
デジタル
図書
神田靖子, 山根智恵, 高木佐知子 編著
大学教育出版
2011.7
<FS27-J36>
国立国会図書館
全国の図書館
内容細目
オリンピック記事における日韓比較
山根 智
恵/著 士気を高めるためのオリ...
...中国社会の光と影 班 偉/著
山根 智
恵 大橋 純 神田 靖子 高木 佐知子 班 偉
山根 智
恵‖著 大橋 純‖著 神田 靖子‖著 高木 佐知子‖著 班 ...
著者標目
神田, 靖子, 1945-
山根, 智
恵, 1959- 高木, 佐知子
Threshold effects and economic growth
Threshold effects and economic growth
紙
博士論文
Chisako Yamane [著]
[Chisako Yamane]
[2007]
<UT51-2007-K155>
国立国会図書館
著者標目
山根, 智
沙子
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
デジタル
文書・図像類
山根, 智
, Yamane, Satoshi
2010-04-01
平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report
2007-2009
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
研究社日本語口語表現辞典
研究社日本語口語表現辞典
紙
図書
児童書
山根智恵 監修, 佐藤友子, 松岡洋子, 奥村圭子 編集委員
研究社
2013.11
<KF91-L18>
国立国会図書館
全国の図書館
著者標目
山根, 智
恵, 1959- 佐藤, 友子, pub. 2013.11 ...
現代経済ナビゲーター
現代経済ナビゲーター
紙
図書
水谷淳, 山根智仁, 柴田孝, 横見宗樹, 原田禎夫 編著
八千代出版
2010.4
<DC55-J349>
国立国会図書館
全国の図書館
著者標目
水谷, 淳
山根, 智
仁 柴田, 孝
現代経済ディスカバリー
現代経済ディスカバリー
紙
図書
豊山宗洋, 柴田孝 編著, 伊東眞一, 山根智仁, 水谷淳, 横見宗樹, 佐和良作, 原田禎夫 [執筆]
八千代出版
2013.5
<DC55-L85>
国立国会図書館
全国の図書館
著者標目
豊山, 宗洋 柴田, 孝 伊東, 眞一, 1959-
山根, 智
仁 水谷, 淳
現代日本語の談話におけるフィラー
現代日本語の談話におけるフィラー
紙
デジタル
博士論文
障害者向け資料あり
山根智恵 [著]
<UT51-2000-G362>
インターネットで読める
国立国会図書館
著者標目
山根, 智
恵
韓国における総合学習の研究
韓国における総合学習の研究
デジタル
文書・図像類
山根, 智
兵庫教育大学地理学研究室
2005-03
兵庫教育大学地理学研究室研究報告
10
p.74-78
全国の図書館
著者標目
山根, 智
日本語の談話におけるフィラー (Frontier series. 日本語研究叢書 ; 15)
日本語の談話におけるフィラー (Frontier series. 日本語研究叢書 ; 15)
紙
図書
山根智恵 著
くろしお出版
2002.12
<KF143-H2>
国立国会図書館
全国の図書館
著者標目
山根, 智
恵, 1959-
もっと見る(21件目~)
書誌情報を一括出力
RSS