本文に飛ぶ

年 〜
年

検索結果 64 件

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

高位ハードウェア設計記述に対する等価性判定手法の研究
紙図書
浜口清治, 大阪大学 [著][浜口清治]2004-2006<Y151-H16500030>
国立国会図書館
  • 著者標目浜口, 清治 大阪大学

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

ベイジアンネットワークの確率計算とZDD
デジタル文書・図像類
浜口, 清治ERATO湊離散構造処理系プロジェクト2011-06
インターネットで読める全国の図書館
  • 著者標目浜口, 清治

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

BN・ZDD・MC : Bayesian Network, Zero-suppressed binary Decision Diagram, Model Counting
デジタル文書・図像類
浜口, 清治ERATO湊離散構造処理系プロジェクト2011-06
インターネットで読める全国の図書館
  • 著者標目浜口, 清治

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
紙デジタル博士論文障害者向け資料あり
濱口清治 [著]<UT51-93-F282>
インターネットで読める国立国会図書館
  • 著者標目濱口, 清治

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

高位ハードウェア設計記述に対する等価性判定手法の研究
紙図書
研究代表者 浜口清治[浜口清治]2007.5
全国の図書館
  • 著者標目浜口, 清治

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

定数幅量子ブランチングプログラムの計算能力
デジタル文書・図像類
中西, 正樹, 浜口, 清治, 柏原, 敏伸奈良先端科学技術大学院大学2000-11Information Science Technical ReportTR2000010
インターネットで読める全国の図書館
  • 著者標目中西, 正樹 浜口, 清治 柏原, 敏伸

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

非決定性量子有限オートマトン
デジタル文書・図像類
中西, 正樹, 印藤, 隆夫, 浜口, 清治, 柏原, 敏伸奈良先端科学技術大学院大学2000-12Information Science Technical ReportTR2000014
インターネットで読める全国の図書館
  • 著者標目中西, 正樹 印藤, 隆夫 浜口, 清治 柏原, 敏伸

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

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

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

電子情報通信学会技術研究報告 : 信学技報
紙雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
紙雑誌雑誌タイトル
情報処理学会[1985]-2009<Z14-1121>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会誌

電子情報通信学会誌
紙デジタル雑誌雑誌タイトル
電子情報通信学会1987-<Z16-192>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

IEEE SMC Hiroshima Chapter Young Researchers' Workshop proceedings

IEEE SMC Hiroshima Chapter Young Researchers' Workshop proceedings
紙雑誌雑誌タイトル
[IEEE SMC Hiroshima Chapter]c2011-c2014<Z74-H509>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

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

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
紙雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

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

電子情報通信学会論文誌 D 情報・システム
紙雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

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

情報処理 : 情報処理学会誌 : IPSJ magazine
紙雑誌雑誌タイトル
情報処理学会1960-<Z14-352>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
紙雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

シャープ技報

シャープ技報
紙デジタル雑誌雑誌タイトル
シャープ研究開発本部1962-2015<Z16-299>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
記録メディア雑誌電子資料雑誌タイトル
情報処理学会2009-c2013<YH247-911>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
記録メディア雑誌電子資料雑誌タイトル
情報処理学会2010-c2013<YH267-101>
国立国会図書館
  •  
  •  
  •  
  •  
  •  
    •  

検索結果は以上です。

RSS