Jump to main content

yr 〜
yr

Search results 293

Theory of computation

Theory of computation
Paper図書
ツォイクマン・トーマス, 湊真一, 大久保好章 共著Corona2009.4<YU111-B803>
National Diet LibraryOther Libraries in Japan

2024 International Workshop on the Theory of Computational Sensing and its Applications to Radar, Multimodal Sensing and Imaging (CoSeRa)

2024 International Workshop on the Theory of Computational Sensing and its Applications to Radar, Multimodal Sensing and Imaging (CoSeRa)
Digital電子書籍・電子雑誌図書
2024
National Diet Library

計算理論の基礎 3

計算理論の基礎 3
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.5<M121-M637>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
  • Additional Title複雑さの理論 Introduction to the Theory of Computation

計算理論の基礎 2

計算理論の基礎 2
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.5<M121-M636>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.ＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ”をまとめた教科書。２分冊目は、計算可能性の理論について解説...
  • Note (General)原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
  • Additional Title計算可能性の理論 Introduction to the Theory of Computation

計算理論の基礎 1

計算理論の基礎 1
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.4<M121-M617>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.Ｍ．Ｓｉｐｓｅｒ教授によるＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートを基にまとめた教科書。
  • Note (General)原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
  • Additional Titleオートマトンと言語 Introduction to the Theory of Computation

STOC'15 : proceedings of the 2015 ACM symposium on theory of computing : June 14-17, 2015 : Portland, Oregon, USA : 47th annual ACM symposium on theory of computing : federated computing research conference : Jun 2015, Portland, OR.

STOC'15 : proceedings of the 2015 ACM symposium on theory of computing : June 14-17, 2015 : Portland, Oregon, USA : 47th annual ACM symposium on theory of computing : federated computing research conference : Jun 2015, Portland, OR.
Paper図書
The Association for Computing Machinery[2015]<M17-16-430>
National Diet Library

STOC'13 : proceedings of the 2013 ACM symposium on theory of computing : June 1-4, 2013 : Palo Alto, California, USA : 45th annual ACM symposium on theory of computing : STOC 2013 : Jun 2013, Palo Alto, CA.

STOC'13 : proceedings of the 2013 ACM symposium on theory of computing : June 1-4, 2013 : Palo Alto, California, USA : 45th annual ACM symposium on theory of computing : STOC 2013 : Jun 2013, Palo Alto, CA.
Paper図書
Association for Computing Machineryc2013.<M17-14-951>
National Diet LibraryOther Libraries in Japan

STOC'12 : proceedings of the 2012 ACM symposium on theory of computing : May 19-22, 2012 : New York, New York, USA : 44th annual ACM symposium on theory of computing : STOC 2012 conference : May 2012, New York, NY.

STOC'12 : proceedings of the 2012 ACM symposium on theory of computing : May 19-22, 2012 : New York, New York, USA : 44th annual ACM symposium on theory of computing : STOC 2012 conference : May 2012, New York, NY.
Paper図書
Association for Computing Machineryc2012.<M17-13-2193>
National Diet LibraryOther Libraries in Japan

STOC'10 : proceedings of the 2010 ACM international symposium on theory of computing : June 5-8, 2010 : Cambridge, MA, USA. : 42nd ACM symposium on theory of computing : STOC 2010 conference : Jun 2010, Cambridge, MA.

STOC'10 : proceedings of the 2010 ACM international symposium on theory of computing : June 5-8, 2010 : Cambridge, MA, USA. : 42nd ACM symposium on theory of computing : STOC 2010 conference : Jun 2010, Cambridge, MA.
Paper図書
Association for Computing Machineryc2010.<M17-11-868>
National Diet Library

Theory of Computing Systems

Theory of Computing Systems
Paper雑誌雑誌タイトル
Springer Science+Business Media, Inc<Z53-L164>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Algorithms and theory of computation handbook. 2nd ed. / edited by Mikhail J. Atallah, Marina Blanton. (Chapman & Hall/CRC applied algorithms and data structures series)

Algorithms and theory of computation handbook. 2nd ed. / edited by Mikhail J. Atallah, Marina Blanton. (Chapman & Hall/CRC applied algorithms and data structures series)
Paper図書
CRC Press[c2010]<X>
National Diet Library

STOC'09 : proceedings of the 2009 ACM international symposium on theory of computing : Bethesda, Maryland, USA : May 31-June 2, 2009. : 41st annual ACM symposium on theory of computing : STOC 2009 conference : May 2009, Bethesda, MD.

STOC'09 : proceedings of the 2009 ACM international symposium on theory of computing : Bethesda, Maryland, USA : May 31-June 2, 2009. : 41st annual ACM symposium on theory of computing : STOC 2009 conference : May 2009, Bethesda, MD.
Paper図書
Association for Computing Machineryc2009.<M17-10-923>
National Diet Library

40th ACM international symposium on theory of computing : STOC 08 : May 17-20, 2008 : Victoria, British Columbia, Canada. : 40th annual ACM symposium on theory of computing : STOC 2008 conference : May 2008, Victoria, Canada.

40th ACM international symposium on theory of computing : STOC 08 : May 17-20, 2008 : Victoria, British Columbia, Canada. : 40th annual ACM symposium on theory of computing : STOC 2008 conference : May 2008, Victoria, Canada.
Paper図書
Association for Computing Machineryc2008.<M17-09-21>
National Diet Library

STOC'07 : proceedings of the 39th annual ACM symposium on theory of computing : San Diego, California, USA : June 11-13, 2007. : federated computer research conference (FCRC) : STOC 2007 conference : Jun 2007, San Diego, CA.

STOC'07 : proceedings of the 39th annual ACM symposium on theory of computing : San Diego, California, USA : June 11-13, 2007. : federated computer research conference (FCRC) : STOC 2007 conference : Jun 2007, San Diego, CA.
Paper図書
Association for Computing Machineryc2007.<M17-07-1589>
National Diet Library

計算理論の基礎 3 (複雑さの理論)

計算理論の基礎 3 (複雑さの理論)
Paper図書
Michael Sipser 著, 太田和夫, 田中圭介 監訳, 阿部正幸, 植田広樹, 藤岡淳, 渡辺治 訳共立出版2008.5<M121-J29>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Introduction to the theory of computation. (2nd ed.)
  • Additional TitleIntroduction to the theory of computation. (2nd ed.)

計算理論の基礎 2 (計算可能性の理論)

計算理論の基礎 2 (計算可能性の理論)
Paper図書
Michael Sipser 著, 太田和夫, 田中圭介 監訳, 阿部正幸, 植田広樹, 藤岡淳, 渡辺治 訳共立出版2008.5<M121-J28>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Introduction to the theory of computation. (2nd ed.)
  • Additional TitleIntroduction to the theory of computation. (2nd ed.)

STOC'06 : proceedings of the 38th annual ACM symposium on theory of computing : Seattle, Washington, USA : May 21-23, 2006. : STOC 2006 conference : May 2006, Seattle, WA.

STOC'06 : proceedings of the 38th annual ACM symposium on theory of computing : Seattle, Washington, USA : May 21-23, 2006. : STOC 2006 conference : May 2006, Seattle, WA.
Paper図書
ACM Pressc2006.<M17-06-2024>
National Diet Library

計算理論の基礎 1 (オートマトンと言語)

計算理論の基礎 1 (オートマトンと言語)
Paper図書
Michael Sipser 著, 太田和夫, 田中圭介 監訳, 阿部正幸, 植田広樹, 藤岡淳, 渡辺治 訳共立出版2008.5<M121-J27>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: Introduction to the theory of computation. (2nd ed.)
  • Additional TitleIntroduction to the theory of computation. (2nd ed.)

STOC'05 : proceedings of the 37th annual ACM symposium on theory of computing : Baltimore, Maryland, USA : May 22-24, 2005. : May 2005, Baltimore, MD.

STOC'05 : proceedings of the 37th annual ACM symposium on theory of computing : Baltimore, Maryland, USA : May 22-24, 2005. : May 2005, Baltimore, MD.
Paper図書
ACM Pressc2005.<M17-05-1689>
National Diet Library

Proceedings of the 36th annual ACM symposium on theory of computing : Chicago, Illinois, USA : June 13-15, 2004. : Jun 2004, Chicago, IL.

Proceedings of the 36th annual ACM symposium on theory of computing : Chicago, Illinois, USA : June 13-15, 2004. : Jun 2004, Chicago, IL.
Paper図書
Association for Computing Machineryc2004.<M17-04-2879>
National Diet Library
RSS