国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(4)
2000年代
(7)
2010年代
(3)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(5)
雑誌
新聞
和古書・漢籍
博士論文
(3)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(6)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(9)
紙
(7)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 14 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
2021-06-18
令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report
2018-04-01 - 2021-03-31
p.6p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
2018-04-25
平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report
2015-04-01 - 2018-03-31
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
ミーハー
ミーハー
紙
図書
山根敏 著
碧天舎
2004.5
<KH718-H105>
国立国会図書館
ニューラルネットワークアークセンサによるMIG溶接溶融池形状のセンシグと知的制御
ニューラルネットワークアークセンサによるMIG溶接溶融池形状のセンシグと知的制御
紙
図書
山根敏, 埼玉大学 [著]
[山根敏]
2004-2005
<Y151-H16560626>
国立国会図書館
動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
2015-06-09
平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report
2012-04-01 - 2015-03-31
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
紙
図書
山根智, 金沢大学 [著]
[山根智]
2002-2004
<Y151-H14580368>
国立国会図書館
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
紙
図書
山根, 智, 金沢大学
1999-2001
<Y151-H11680360>
国立国会図書館
溶接ロボツトを用いたニユーラルネツトワークによる開先形状検出および溶接線追跡制御
溶接ロボツトを用いたニユーラルネツトワークによる開先形状検出および溶接線追跡制御
紙
図書
山根, 敏, 埼玉大学
2000-2001
<Y151-H12650709>
国立国会図書館
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
2010-04-01
平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report
2007-2009
p.4p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
実時間システムの仕様記述と検証に関する研究
実時間システムの仕様記述と検証に関する研究
紙
デジタル
博士論文
障害者向け資料あり
山根智 [著]
<UT51-97-H414>
インターネットで読める
国立国会図書館
Neuro-fuzzy control in intelligent welding robots
Neuro-fuzzy control in intelligent welding robots
紙
デジタル
博士論文
障害者向け資料あり
山根敏 [著]
<UT51-93-K103>
インターネットで読める
国立国会図書館
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
金沢大学 理工研究域電子情報通信学系
2005-03
平成16(2004)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report
2002-2004
p.182p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
デジタル
文書・図像類
山根, 智,
Yamane, Satoshi
金沢大学 理工研究域電子情報通信学系
2002-03
平成13(2001)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report
1999-2001
p.110p.-
全国の図書館
著者標目
山根, 智
Yamane, Satoshi
実時間システムの仕様記述と検証に関する研究
実時間システムの仕様記述と検証に関する研究
デジタル
博士論文
山根, 智
Kyoto University
1997-03-24
インターネットで読める
全国の図書館
検索結果は以上です。
書誌情報を一括出力