国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1950年代
(1)
1990年代
(20)
2000年代
(16)
2010年代
(15)
2020年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（20）
雑誌
（32）
新聞
和古書・漢籍
博士論文
（3）
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
（2）
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（5）
紙
（48）
マイクロ
記録メディア
（2）
すべて解除
絞り込み条件
絞り込み条件
検索結果 55 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
プログラミング言語Standard ML入門 改訂版
プログラミング言語Standard ML入門 改訂版
紙
図書
大堀淳 著
共立出版
2021.11
<M159-M732>
国立国会図書館
全国の図書館
コンパイラ : 原理と構造
コンパイラ : 原理と構造
紙
図書
大堀淳 著
共立出版
2021.9
<M159-M696>
国立国会図書館
全国の図書館
SML#で始める実践MLプログラミング
SML#で始める実践MLプログラミング
紙
図書
大堀淳, 上野雄大 著
共立出版
2021.4
<M159-M586>
国立国会図書館
全国の図書館
プログラミング言語の基礎理論 新装版
プログラミング言語の基礎理論 新装版
紙
図書
大堀淳 著
共立出版
2019.8
<M159-M161>
国立国会図書館
全国の図書館
プログラミング言語の基礎理論 : 新装版
プログラミング言語の基礎理論 : 新装版
紙
図書
大堀淳著
共立出版
2019.8.
全国の図書館
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
計算機システム概論 : 基礎から学ぶコンピュータの原理とOSの構造 (ライブラリ情報学コア・テキスト ; 5)
紙
図書
大堀淳 著
サイエンス社
2010.4
<M154-J179>
国立国会図書館
全国の図書館
言語, 構築手法, レポジトリの統合を目指すコンポーネントフレームワーク
言語, 構築手法, レポジトリの統合を目指すコンポーネントフレームワーク
紙
図書
大堀淳研究代表者
[大堀淳]
2006.5
全国の図書館
プログラミング言語Standard ML入門
プログラミング言語Standard ML入門
紙
図書
大堀淳 著
共立出版
2001.9
<M159-G4127>
国立国会図書館
全国の図書館
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究
紙
図書
大堀, 淳, 北陸先端科学技術大学院大学
2000-2001
<Y151-H12680345>
国立国会図書館
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
紙
図書
大堀淳 著
共立出版
1997.2
<M159-G1086>
国立国会図書館
全国の図書館
機械語コードおよびコード生成のための論理学的基礎の研究
機械語コードおよびコード生成のための論理学的基礎の研究
紙
図書
研究代表者 大堀淳
[大堀淳]
2002.2
全国の図書館
Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
紙
図書
Atsushi Ohori (ed.)
Springer
c2003
全国の図書館
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
言語,構築手法,レポジトリの統合を目指すコンポーネントフレームワーク
紙
図書
大堀淳, 東北大学, 北陸先端科学技術大学院大学 [著]
[大堀淳]
2003-2005
<Y151-H15300006>
国立国会図書館
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
アルゴリズムとプログラミング言語 (コンピュータサイエンス入門)
紙
図書
大堀淳, ジャック・ガリグ, 西村進 著
岩波書店
1999.5
<M159-G2691>
国立国会図書館
全国の図書館
型理論に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
紙
図書
大堀, 淳, 京都大学
1994-1995
<Y151-H06680319>
国立国会図書館
型理論に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
紙
図書
大堀淳研究代表
[大堀淳]
1996.4
全国の図書館
Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings
Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings
紙
図書
Xavier Leroy, Atsushi Ohori (eds.)
Springer
c1998
全国の図書館
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
Advances in computing science, ASIAN '98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedings
紙
図書
Jieh Hsiang, Atsushi Ohori (eds.)
Springer
c1998
全国の図書館
Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993 :gw :us
Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993 :gw :us
紙
図書
Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha (eds.)
Springer-Verlag
c1994
全国の図書館
オープンミッションクリティカルシステム構築技術の研究
オープンミッションクリティカルシステム構築技術の研究
デジタル
博士論文
障害者向け資料あり
相澤, 正俊
2013-07-11
国立国会図書館
もっと見る（21件目～）
書誌情報を一括出力