Jump to main content

yr 〜
yr

Search results 64

高位ハードウェア設計記述に対する等価性判定手法の研究

高位ハードウェア設計記述に対する等価性判定手法の研究
Paper図書
浜口清治, 大阪大学 [著][浜口清治]2004-2006<Y151-H16500030>
National Diet Library
  • Author Heading浜口, 清治 大阪大学

ベイジアンネットワークの確率計算とZDD

ベイジアンネットワークの確率計算とZDD
Digital文書・図像類
浜口, 清治ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading浜口, 清治

BN・ZDD・MC : Bayesian Network, Zero-suppressed binary Decision Diagram, Model Counting

BN・ZDD・MC : Bayesian Network, Zero-suppressed binary Decision Diagram, Model Counting
Digital文書・図像類
浜口, 清治ERATO湊離散構造処理系プロジェクト2011-06
Available onlineOther Libraries in Japan
  • Author Heading浜口, 清治

Temporal logics and their applications to formal design verification of finite-state machines

Temporal logics and their applications to formal design verification of finite-state machines
PaperDigital博士論文障害者向け資料あり
濱口清治 [著]<UT51-93-F282>
Available onlineNational Diet Library
  • Author Heading濱口, 清治

高位ハードウェア設計記述に対する等価性判定手法の研究

高位ハードウェア設計記述に対する等価性判定手法の研究
Paper図書
研究代表者 浜口清治[浜口清治]2007.5
Other Libraries in Japan
  • Author Heading浜口, 清治

定数幅量子ブランチングプログラムの計算能力

定数幅量子ブランチングプログラムの計算能力
Digital文書・図像類
中西, 正樹, 浜口, 清治, 柏原, 敏伸奈良先端科学技術大学院大学2000-11Information Science Technical ReportTR2000010
Available onlineOther Libraries in Japan
  • Author Heading中西, 正樹 浜口, 清治 柏原, 敏伸

非決定性量子有限オートマトン

非決定性量子有限オートマトン
Digital文書・図像類
中西, 正樹, 印藤, 隆夫, 浜口, 清治, 柏原, 敏伸奈良先端科学技術大学院大学2000-12Information Science Technical ReportTR2000014
Available onlineOther Libraries in Japan
  • Author Heading中西, 正樹 印藤, 隆夫 浜口, 清治 柏原, 敏伸

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

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

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

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

情報処理学会研究報告

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

電子情報通信学会誌

電子情報通信学会誌
PaperDigital雑誌雑誌タイトル
電子情報通信学会1987-<Z16-192>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

IEEE SMC Hiroshima Chapter Young Researchers' Workshop proceedings

IEEE SMC Hiroshima Chapter Young Researchers' Workshop proceedings
Paper雑誌雑誌タイトル
[IEEE SMC Hiroshima Chapter]c2011-c2014<Z74-H509>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

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

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

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

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

情報処理 : 情報処理学会誌 : IPSJ magazine

情報処理 : 情報処理学会誌 : IPSJ magazine
Paper雑誌雑誌タイトル
情報処理学会1960-<Z14-352>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

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

シャープ技報

シャープ技報
PaperDigital雑誌雑誌タイトル
シャープ研究開発本部1962-2015<Z16-299>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料雑誌タイトル
情報処理学会2009-c2013<YH247-911>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

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

Reached to the end of result.

RSS