Jump to main content

yr 〜
yr

Search results 94

アサーションベース設計

アサーションベース設計
Paper図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳丸善2004.9<ND386-H98>
National Diet LibraryOther Libraries in Japan

Spectral analysis of heart rate, arterial pressure, and muscle sympathetic nerve activity in normal humans

Spectral analysis of heart rate, arterial pressure, and muscle sympathetic nerve activity in normal humans
PaperDigital博士論文障害者向け資料あり
中田明夫 [著]<UT51-99-S188>
Available onlineNational Diet Library

Symbolic bisimulation checking and decomposition of real-time service specifications

Symbolic bisimulation checking and decomposition of real-time service specifications
PaperDigital博士論文障害者向け資料あり
中田明夫 [著]<UT51-97-T338>
Available onlineNational Diet Library

Spectral analysis of heart rate,arterial pressure,and muscle sympathetic nerve activity in normal humans

Spectral analysis of heart rate,arterial pressure,and muscle sympathetic nerve activity in normal humans
Digital文書・図像類
中田, 明夫金沢大学1999-07-01博士学位論文要旨　論文内容の要旨および論文審査結果の要旨／金沢大学大学院医学研究科平成11年7月
Other Libraries in Japan

組込みシステムシンポジウム2010論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2010 no.10)

組込みシステムシンポジウム2010論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2010 no.10)
Paper図書
情報処理学会2010.10<M154-J266>
National Diet Library

電子情報通信学会論文誌 D 情報・システム

電子情報通信学会論文誌 D 情報・システム
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

計測と制御 : journal of the Society of Instrument and Control Engineers

計測と制御 : journal of the Society of Instrument and Control Engineers
Paper雑誌雑誌タイトル
計測自動制御学会1962-<Z14-106>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

富山県国保地域医療学会学会誌

富山県国保地域医療学会学会誌
Paper雑誌雑誌タイトル
富山県国民健康保険団体連合会[19--]-2011<Z71-L713>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本医療マネジメント学会雑誌

日本医療マネジメント学会雑誌
Paper雑誌雑誌タイトル
日本医療マネジメント学会2006-<Z71-E17>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
Paper雑誌雑誌タイトル
情報処理学会[1985]-2009<Z14-1121>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌

情報処理学会論文誌
Paper雑誌雑誌タイトル
情報処理学会1979-2008<Z14-741>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2003 10 (レクチャーノート/ソフトウェア学 ; 29)
Paper図書
鯵坂恒夫, 満田成紀 編近代科学社2003.11<M159-H504>
National Diet LibraryOther Libraries in Japan
  • Contents... 実時間システムのモデル検査 中田 明夫／著 組込みソフトウエア検証技術の実用化 渡辺 晴美／著 デ...

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.99 no.18)

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.99 no.18)
Paper図書
情報処理学会1999.12<ND631-G6>
National Diet LibraryOther Libraries in Japan

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2003 no.19)

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2003 no.19)
Paper図書
情報処理学会2003.12<ND633-H537>
National Diet Library

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料雑誌タイトル
情報処理学会2010-c2013<YH267-101>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

実時間サービス仕様の記号的双模倣性検証および分解

実時間サービス仕様の記号的双模倣性検証および分解
Digital博士論文
中田, 明夫
Available onlineOther Libraries in Japan
RSS