検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：NDLSH:計算量理論
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影オートマトン言語理論計算論 1 , 2 ( Information & computing ; 3-4 )中央図書館J. ホップクロフト, R. モトワニ, J. ウルマン共著, 野崎昭弘 [ほか] 共訳サイエンス社2003中央２階 548.3||O 86||1
中央２階 548.3||O 86||2
2書影計算量理論概説 中央図書館足立暁生, 西野哲朗著朝倉書店1988中央２階 418||A 16
3書影計算理論 ( チューリングオムニバス : コンピュータサイエンスへの旅 ; 第2巻 )鶴川図書館 東京電機大学出版局1993鶴川２階 007||D 67||2
4書影計算理論と数理論理学 = Mathematics of logic and computation 中央図書館田中一之著共立出版2022中央５階 410.96||Ta 84
5書影証明論と計算量 中央図書館竹内外史著裳華房1995中央２階 410.1||Ta 67
6書影チューリングの計算理論入門 : チューリング・マシンからコンピュータへ ( ブルーバックス ; B-1851 )中央図書館高岡詠子著講談社2014中央１階
7書影量子コンピュータとアルゴリズム ( 量子コンピュータと量子通信 ; 2 )中央図書館Michael A. Nielsen, Isaac L. Chuang共著, 木村達也訳オーム社2005中央３階 007.1||N 71||2
8書影量子コンピュータと量子暗号 ( 岩波講座物理の世界[ 物理と情報 ; 4] )中央図書館西野哲朗著岩波書店2002中央３階 007.1||N 85
9書影量子力学とコンピュータ科学 ( 量子コンピュータと量子通信 ; 1 )中央図書館Michael A. Nielsen, Isaac L. Chuang共著, 木村達也訳オーム社2004中央３階 007.1||N 71||1
選択行を：
▲ページトップへ