国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(3)
2000年代
(3)
2010年代
(2)
2020年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(11)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(11)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 11 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
コンパイラ : 原理と構造
コンパイラ : 原理と構造
紙
図書
大堀淳 著
共立出版
2021.9
<M159-M696>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
SML#で始める実践MLプログラミング
SML#で始める実践MLプログラミング
紙
図書
大堀淳, 上野雄大 著
共立出版
2021.4
<M159-M586>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
031408491
プログラミング言語Standard ML入門 改訂版
プログラミング言語Standard ML入門 改訂版
紙
図書
大堀淳 著
共立出版
2021.11
<M159-M732>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
プログラミング言語の基礎理論 新装版
プログラミング言語の基礎理論 新装版
紙
図書
大堀淳 著
共立出版
2019.8
<M159-M161>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
紙
図書
大堀淳 著
サイエンス社
2010.4
<M154-J179>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
紙
図書
大堀, 淳, 北陸先端科学技術大学院大学
2000-2001
<Y151-H12680345>
国立国会図書館
著者標目(識別子)
00540736
プログラミング言語Standard ML入門
プログラミング言語Standard ML入門
紙
図書
大堀淳 著
共立出版
2001.9
<M159-G4127>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
紙
図書
大堀淳, 東北大学, 北陸先端科学技術大学院大学 [著]
[大堀淳]
2003-2005
<Y151-H15300006>
国立国会図書館
著者標目(識別子)
00540736
00305371 00366751
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
紙
図書
大堀淳, ジャック・ガリグ, 西村進 著
岩波書店
1999.5
<M159-G2691>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
00738964 00738965
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
紙
図書
大堀淳 著
共立出版
1997.2
<M159-G1086>
国立国会図書館
全国の図書館
著者標目(識別子)
00540736
型理論に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
紙
図書
大堀, 淳, 京都大学
1994-1995
<Y151-H06680319>
国立国会図書館
著者標目(識別子)
00540736
検索結果は以上です。
書誌情報を一括出力