年 〜
年

検索結果 260 件

山口県道路施設維持管理支援システムの開発と実用性検証に関する研究

山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
デジタル博士論文
山根, 智2015
国立国会図書館

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
デジタル文書・図像類
山根, 智, Yamane, Satoshi2021-06-18令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report2018-04-01 - 2021-03-31p.6p.-
全国の図書館

研究社日本語口語表現辞典 第2版

研究社日本語口語表現辞典 第2版
紙図書児童書
山根智恵 監修, 佐藤友子, 奥村圭子 編集委員研究社2020.2<KF91-M55>
国立国会図書館全国の図書館

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
デジタル文書・図像類
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
全国の図書館

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
紙図書
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
国立国会図書館

日语口语词典

日语口语词典
紙図書
山根智惠 主编, 佐藤友子, 松冈洋子, 奥村圭子 编, 潘钧 等 译商務印書館2020.2<KF91-C6>
国立国会図書館全国の図書館

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
紙図書
山根, 智, 金沢大学1999-2001<Y151-H11680360>
国立国会図書館

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
デジタル文書・図像類
山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-
全国の図書館

山口県道路施設維持管理支援システムの開発と実用性検証に関する研究

山口県道路施設維持管理支援システムの開発と実用性検証に関する研究
デジタル博士論文
山根, 智2015
インターネットで読める全国の図書館

ドラマやまとなでしこで日本語を学ぼう!

ドラマやまとなでしこで日本語を学ぼう!
紙図書
山根智恵 編著, 佐藤友子, 児玉正子 著ふくろう出版2011.9<Y49-J364>
国立国会図書館全国の図書館

実時間システムの仕様記述と検証に関する研究

実時間システムの仕様記述と検証に関する研究
紙デジタル博士論文障害者向け資料あり
山根智 [著]<UT51-97-H414>
インターネットで読める国立国会図書館

オリンピックの言語学 : メディアの談話分析

オリンピックの言語学 : メディアの談話分析
紙デジタル図書
神田靖子, 山根智恵, 高木佐知子 編著大学教育出版2011.7<FS27-J36>
国立国会図書館全国の図書館
  • 内容細目オリンピック記事における日韓比較 山根 智恵／著 士気を高めるためのオリ......中国社会の光と影 班 偉／著 山根 智恵 大橋 純 神田 靖子 高木 佐知子 班 偉 山根 智恵‖著 大橋 純‖著 神田 靖子‖著 高木 佐知子‖著 班 ...

Threshold effects and economic growth

Threshold effects and economic growth
紙博士論文
Chisako Yamane [著][Chisako Yamane][2007]<UT51-2007-K155>
国立国会図書館

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
デジタル文書・図像類
山根, 智, Yamane, Satoshi2010-04-01平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report2007-2009p.4p.-
全国の図書館

研究社日本語口語表現辞典

研究社日本語口語表現辞典
紙図書児童書
山根智恵 監修, 佐藤友子, 松岡洋子, 奥村圭子 編集委員研究社2013.11<KF91-L18>
国立国会図書館全国の図書館

現代経済ナビゲーター

現代経済ナビゲーター
紙図書
水谷淳, 山根智仁, 柴田孝, 横見宗樹, 原田禎夫 編著八千代出版2010.4<DC55-J349>
国立国会図書館全国の図書館

現代経済ディスカバリー

現代経済ディスカバリー
紙図書
豊山宗洋, 柴田孝 編著, 伊東眞一, 山根智仁, 水谷淳, 横見宗樹, 佐和良作, 原田禎夫 [執筆]八千代出版2013.5<DC55-L85>
国立国会図書館全国の図書館

現代日本語の談話におけるフィラー

現代日本語の談話におけるフィラー
紙デジタル博士論文障害者向け資料あり
山根智恵 [著]<UT51-2000-G362>
インターネットで読める国立国会図書館

日本語の談話におけるフィラー (Frontier series. 日本語研究叢書 ; 15)

日本語の談話におけるフィラー (Frontier series. 日本語研究叢書 ; 15)
紙図書
山根智恵 著くろしお出版2002.12<KF143-H2>
国立国会図書館全国の図書館

韓国における総合学習の研究

韓国における総合学習の研究
デジタル文書・図像類
山根, 智兵庫教育大学地理学研究室2005-03兵庫教育大学地理学研究室研究報告10p.74-78
全国の図書館