Jump to main content

yr 〜
yr

Search results 40

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)

Automata, languages, and programming : 42nd international colloquium, ICALP 2015 : Kyoto, Japan, July 6-10, 2015 : proceedings : annual conferences of the European Association for Theoretical Computer Science (EATCS) : ICALP/LICS 2015 : Jul 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9134-9135. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-16-392>
National Diet Library
  • Author Heading... Halldórsson. Iwama, Kazuo. Kobayashi, Naoki. Speckmann, ...

Theory of quantum computation, communication, and cryptography : 7th conference, TQC 2012 : Tokyo, Japan, May 17-19, 2012 : revised selected papers : May 2012, Tokyo, Japan. (Lecture Notes in Computer Science ; 7582)

Theory of quantum computation, communication, and cryptography : 7th conference, TQC 2012 : Tokyo, Japan, May 17-19, 2012 : revised selected papers : May 2012, Tokyo, Japan. (Lecture Notes in Computer Science ; 7582)
Paper図書
Springerc2013.<M17-13-1619>
National Diet Library
  • Author HeadingTQC 2012 (2012 : Tokyo, Japan) Iwama, Kazuo. Kawano, Yasuhito. Murao, Mio.

京都のアルゴリズム

京都のアルゴリズム
PaperDigital図書
岩間一雄 著近代科学社2017.9<MA41-L72>
National Diet LibraryOther Libraries in Japan

工学的評価基準による離散アルゴリズムの高品質化に関する研究

工学的評価基準による離散アルゴリズムの高品質化に関する研究
Digital文書・図像類
岩間, 一雄京都大学2004-04
Available onlineOther Libraries in Japan

アルゴリズム理論入門 新版

アルゴリズム理論入門 新版
Paper図書
岩間一雄 著朝倉書店2014.9<M159-L480>
National Diet LibraryOther Libraries in Japan

大きな物語を紡ぎだそう

大きな物語を紡ぎだそう
Paper図書
岩間一雄 著おかやま人権研究センター2013.12<EB11-L18>
National Diet LibraryOther Libraries in Japan

鳩の巣原理に対する木状導出原理の証明サイズについて

鳩の巣原理に対する木状導出原理の証明サイズについて
Digital文書・図像類
宮崎, 修一, 岩間, 一雄電子情報通信学会1999-09-03信学技報99 288p.15-22
Available onlineOther Libraries in Japan

部分最適化問題の完全性

部分最適化問題の完全性
Digital文書・図像類
宮崎, 修一, 岩間, 一雄電子情報通信学会1997-11-14電子情報通信学会技術研究報告97 375p.73-79
Available onlineOther Libraries in Japan

条件を緩和した安定結婚問題のNP完全性について

条件を緩和した安定結婚問題のNP完全性について
Digital文書・図像類
宮崎, 修一, 岩間, 一雄電子情報通信学会1998-11-20信学技報98 432p.33-40
Available onlineOther Libraries in Japan

毛沢東その光と影

毛沢東その光と影
Paper図書
岩間一雄 著未來社2007.2<HB141-H7>
National Diet LibraryOther Libraries in Japan

三好伊平次の思想史的研究

三好伊平次の思想史的研究
Paper図書
岩間一雄 編三好伊平次研究会2004.9<EF96-H109>
National Diet LibraryOther Libraries in Japan

Partially autonomous automata, two-input/output-pair automata and their application to the LABOLINK network development

Partially autonomous automata, two-input/output-pair automata and their application to the LABOLINK network development
Paper博士論文
岩間一雄 [著]<UT51-55-F280>
National Diet Library

新世代の計算限界 : その解明と打破

新世代の計算限界 : その解明と打破
Paper図書
岩間一雄, 京都大学 [著][岩間一雄]2004-2007<Y151-TR771-001>
National Diet Library

工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究

工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究
Paper図書
岩間一雄, 京都大学 [著][岩間一雄]2004-2006<Y151-H16300002>
National Diet Library

アルゴリズム理論入門 (情報系教科書シリーズ ; 第4巻)

アルゴリズム理論入門 (情報系教科書シリーズ ; 第4巻)
Paper図書
岩間一雄 著昭晃堂2001.5<M159-G3960>
National Diet LibraryOther Libraries in Japan

日本思想史 改訂新版

日本思想史 改訂新版
Paper図書
守本順一郎 著, 岩間一雄 編未來社2009.3<HA5-J34>
National Diet LibraryOther Libraries in Japan

実世界組み合わせ問題に対する実行可能近似解の高速探求

実世界組み合わせ問題に対する実行可能近似解の高速探求
Paper図書
岩間, 一雄, 京都大学1998-2000<Y151-H10558044>
National Diet Library

日本を考えるための条件

日本を考えるための条件
Paper図書
岩間一雄 著大学教育出版1999.4<EB98-G723>
National Diet LibraryOther Libraries in Japan

工学的評価基準による離散アルゴリズムの高品質化に関する研究

工学的評価基準による離散アルゴリズムの高品質化に関する研究
Paper図書
岩間一雄, 京都大学 [著][岩間一雄]2001-2003<Y151-H13480081>
National Diet Library

高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法

高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
Paper図書
岩間, 一雄, 京都大学1997-1999<Y151-H09480055>
National Diet Library
RSS