国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(2)
2000年代
(2)
2010年代
(3)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(8)
雑誌
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(9)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 9 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
基礎からわかるアルゴリズム (ニュートン新書)
基礎からわかるアルゴリズム (ニュートン新書)
紙
図書
パノス・ルリダス 著, 湊真一 監訳, 鳥飼まこと 訳
ニュートンプレス
2022.5
<M159-M878>
国立国会図書館
全国の図書館
著者標目(識別子)
032234445
01159274
032234466
基礎から学ぶ情報理論 第2版
基礎から学ぶ情報理論 第2版
紙
図書
中村篤祥, 喜田拓也, 湊真一, 廣瀬善大 共著
ムイスリ出版
2020.2
<M121-M228>
国立国会図書館
全国の図書館
著者標目(識別子)
001134139 001134140
01159274
001347731
離散構造処理系の基盤アルゴリズムの研究
離散構造処理系の基盤アルゴリズムの研究
紙
図書
湊真一, 京都大学 [著]
[湊真一]
2015-2019
<Y151-H15H05711>
国立国会図書館
著者標目(識別子)
01159274
00289990
超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ
超高速グラフ列挙アルゴリズム : 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ
紙
図書
湊真一 編, ERATO湊離散構造処理系プロジェクト 著
森北出版
2015.4
<M159-L654>
国立国会図書館
全国の図書館
著者標目(識別子)
01159274
00958384
基礎から学ぶ情報理論
基礎から学ぶ情報理論
紙
図書
中村篤祥, 喜田拓也, 湊真一 共著
ムイスリ出版
2013.3
<M121-L17>
国立国会図書館
全国の図書館
著者標目(識別子)
001134139 001134140
01159274
Theory of computation
Theory of computation
紙
図書
ツォイクマン・トーマス, 湊真一, 大久保好章 共著
Corona
2009.4
<YU111-B803>
国立国会図書館
全国の図書館
著者標目(識別子)
01159272
01159274
01159279
二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
紙
図書
湊真一, 北海道大学 [著]
[湊真一]
2005-2007
<Y151-H17300041>
国立国会図書館
著者標目(識別子)
01159274
00260056
Binary decision diagrams and applications for VLSI CAD / by Shin-ichi Minato. (The Kluwer international series in engineering and computer science ; SECS 342. VLSI, computer architecture and digital signal processing)
Binary decision diagrams and applications for VLSI CAD / by Shin-ichi Minato. (The Kluwer international series in engineering and computer science ; SECS 342. VLSI, computer architecture and digital signal processing)
紙
図書
Kluwer Academic Publishers
c1996.
<ND386-A28>
国立国会図書館
著者標目(識別子)
01159274
Binary decision diagrams and their applications for VLSI CAD
Binary decision diagrams and their applications for VLSI CAD
紙
デジタル
博士論文
障害者向け資料あり
湊真一 [著]
<UT51-95-D334>
インターネットで読める
国立国会図書館
著者標目(識別子)
01159274
検索結果は以上です。
書誌情報を一括出力