Collection home page

New Trends in Theoretical Computer Science   26
(http://hdl.handle.net/2433/194219)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 26
BibliographyContents
表紙・目次
   (2013-08)
  数理解析研究所講究録, 1849
file type icon
ランダムの程度の助言付き計算 (理論計算機科学の新展開)
  宮部, 賢志 (2013-08)
  数理解析研究所講究録, 1849: 1-7
file type icon
森および連結全域部分グラフの乱択近似数え上げ (理論計算機科学の新展開)
  三原, 勇治; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08)
  数理解析研究所講究録, 1849: 8-11
file type icon
撹乱順列の線形時間ランキングとアンランキングについて (理論計算機科学の新展開)
  三河, 賢治; 田中, 賢 (2013-08)
  数理解析研究所講究録, 1849: 12-17
file type icon
部分文字列最大密度索引 (理論計算機科学の新展開)
  酒井, 義文 (2013-08)
  数理解析研究所講究録, 1849: 18-21
file type icon
ソースコードモジュール重要度算出法の提案 (理論計算機科学の新展開)
  後藤, 隆彰; 山田, 節夫; 西野, 哲朗; 土田, 賢省 (2013-08)
  数理解析研究所講究録, 1849: 22-27
file type icon
A note on the expansions of insertion systems (New Trends in Theoretical Computer Science)
  Fujioka, Kaoru (2013-08)
  数理解析研究所講究録, 1849: 28-31
file type icon
ボレル関数の分解問題への計算論の応用 (理論計算機科学の新展開)
  木原, 貴行 (2013-08)
  数理解析研究所講究録, 1849: 32-36
file type icon
対数空間階層の相対化 (理論計算機科学の新展開)
  太田, 浩行; 河村, 彰星 (2013-08)
  数理解析研究所講究録, 1849: 37-44
file type icon
逆遷移関係が不連続な2近傍CAについて (理論計算機科学の新展開)
  井口, 修一; 石田, 俊一; 河原, 康雄 (2013-08)
  数理解析研究所講究録, 1849: 45-49
file type icon
ペンローズタイリング上でとぶグライダー (理論計算機科学の新展開)
  塚本, 靖之; 宮崎, 雄平; 立木, 秀樹 (2013-08)
  数理解析研究所講究録, 1849: 50-56
file type icon
Reversible multi-head finite automata and space-bounded Turing machines (New Trends in Theoretical Computer Science)
  Morita, Kenichi (2013-08)
  数理解析研究所講究録, 1849: 57-63
file type icon
動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
  柳瀬, 龍; 酒井, 辰典; 酒井, 誠; 山根, 智 (2013-08)
  数理解析研究所講究録, 1849: 64-70
file type icon
Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)
  小池, 脩平; 長谷川, 尭志; 清水, 隆也; 山根, 智 (2013-08)
  数理解析研究所講究録, 1849: 71-76
file type icon
フロンティア法から生成されるZDDの幅解析 (理論計算機科学の新展開)
  高野, 圭司 (2013-08)
  数理解析研究所講究録, 1849: 77-82
file type icon
16次格子モデルによる不均一型多層矩形分割の層の操作 (理論計算機科学の新展開)
  高加, 晋司; 穴田, 浩一; 夜久, 竹夫 (2013-08)
  数理解析研究所講究録, 1849: 83-87
file type icon
分散システムでの剛性グラフに対する局所交換可能性 (理論計算機科学の新展開)
  Taufiqurrachman; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08)
  数理解析研究所講究録, 1849: 88-90
file type icon
多項式個の極小セパレータを持つグラフクラスについて (理論計算機科学の新展開)
  長澤, 亮介; 加藤, 達也; 木野, 徹; 山崎, 浩一 (2013-08)
  数理解析研究所講究録, 1849: 91-95
file type icon
無理数の遷移確率を許すランダムウォークの脱乱択化 (理論計算機科学の新展開)
  白髪, 丈晴; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08)
  数理解析研究所講究録, 1849: 96-99
file type icon
動的グラフ上のランダムウォークの到達時間と全訪問時間 (理論計算機科学の新展開)
  木場, 孝輔; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2013-08)
  数理解析研究所講究録, 1849: 100-104
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 26