国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(12)
2000年代
(35)
2010年代
(6)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(9)
雑誌
(44)
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(2)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(2)
紙
(52)
マイクロ
記録メディア
(2)
すべて解除
絞り込み条件
絞り込み条件
検索結果 55 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
プログラミング言語の形式的意味論入門
プログラミング言語の形式的意味論入門
紙
図書
G.ウィンスケル 著, 末永幸平 監訳, 勝股審也 [ほか] 訳
丸善出版
2023.1
<M159-M1057>
国立国会図書館
全国の図書館
著者標目
Winskel, G. (Glynn) 末永, 幸平 勝股, 審也 中澤, 巧爾 西村, 進
前田, 敦司
夏のプログラミング・シンポジウム「ビューティフル・インターフェイス」報告集
夏のプログラミング・シンポジウム「ビューティフル・インターフェイス」報告集
紙
図書
丸山一貴, 前田敦司 編
[情報処理学会] プログラミング・シンポジウム委員会
2015.1
<M159-L708>
国立国会図書館
著者標目
丸山, 一貴
前田, 敦司
ガベージコレクション : 自動的メモリ管理を構成する理論と実装
ガベージコレクション : 自動的メモリ管理を構成する理論と実装
紙
図書
Richard Jones, Antony Hosking, Eliot Moss 著, 前田敦司, 鵜川始陽, 小宮常泰 翻訳監修
翔泳社
2016.3
<M159-L879>
国立国会図書館
全国の図書館
著者標目
Jones, Richard, 1954- Hosking, Antony, 1964- Moss, Eliot
前田, 敦司
鵜川, 始陽 小宮, 常泰
マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究
マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究
紙
図書
前田敦司, 筑波大学 [著]
[前田敦司]
2001-2003
<Y151-H13680389>
国立国会図書館
著者標目
前田, 敦司
筑波大学
プロセスへのミクロ経済学的資源割り当て
プロセスへのミクロ経済学的資源割り当て
デジタル
文書・図像類
前田, 敦司
2014
インターネットで読める
全国の図書館
著者標目
前田, 敦司
キューマシン計算モデル : 新計算モデルとその並列関数型言語への応用
キューマシン計算モデル : 新計算モデルとその並列関数型言語への応用
紙
デジタル
博士論文
障害者向け資料あり
前田敦司 [著]
<UT51-97-D383>
インターネットで読める
国立国会図書館
著者標目
前田, 敦司
マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究
マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究
紙
図書
前田敦司研究代表
[前田敦司]
2004.10
全国の図書館
著者標目
前田, 敦司
夏のプログラミング・シンポジウム「First Programming Languagesプログラミング言語の実力と美学」報告集
夏のプログラミング・シンポジウム「First Programming Languagesプログラミング言語の実力と美学」報告集
紙
図書
和田英一, 伊知地宏, 齊藤正伸, 山下伸夫, 繁富利恵, 笹田耕一 編
[情報処理学会]プログラミング・シンポジウム委員会
2008.1
<M159-J415>
国立国会図書館
夏のプログラミング・シンポジウム「境界の情報科学~インタフェースを考える~」報告集
夏のプログラミング・シンポジウム「境界の情報科学~インタフェースを考える~」報告集
紙
図書
丸山一貴, 鵜川始陽, 笹田耕一, 副田俊介, 疋田敏朗, 寺田実 編
[情報処理学会]プログラミング・シンポジウム委員会
2010.1
<M159-J1052>
国立国会図書館
國立公園
國立公園
紙
デジタル
雑誌
自然公園財団
1948-
<Z11-169>
インターネットで読める
国立国会図書館
全国の図書館
先進的計算基盤システムシンポジウム : SACSIS 2009 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.5)
先進的計算基盤システムシンポジウム : SACSIS 2009 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.5)
紙
図書
情報処理学会
2009.5
<M151-J211>
国立国会図書館
先進的計算基盤システムシンポジウム : SACSIS 2005 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.5)
先進的計算基盤システムシンポジウム : SACSIS 2005 : 論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2005 no.5)
紙
図書
情報処理学会
2005.5
<M151-H323>
国立国会図書館
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
紙
雑誌
電子情報通信学会 編
電子情報通信学会情報・システムソサイエティ
1989-2005
<Z16-779>
国立国会図書館
全国の図書館
情報処理学会論文誌 SIG
情報処理学会論文誌 SIG
紙
雑誌
情報処理学会
1998-2008
<Z74-C192>
国立国会図書館
東芝レビュー
東芝レビュー
紙
デジタル
雑誌
東芝ビジネスエキスパート株式会社ビジネスソリューション事業部 編集・制作
東芝技術企画部
1946-
<Z16-317>
インターネットで読める
国立国会図書館
全国の図書館
情報処理学会研究報告
情報処理学会研究報告
紙
雑誌
情報処理学会
[1985]-2009
<Z14-1121>
国立国会図書館
全国の図書館
電子情報通信学会技術研究報告 : 信学技報
電子情報通信学会技術研究報告 : 信学技報
紙
雑誌
電子情報通信学会
1987-2020
<Z16-940>
国立国会図書館
全国の図書館
年報
年報
紙
デジタル
雑誌
[神奈川大学総合理学研究所] [編]
神奈川大学総合理学研究所
[1987]-2004
<Z14-1544>
インターネットで読める
国立国会図書館
全国の図書館
情報処理学会論文誌
情報処理学会論文誌
紙
雑誌
情報処理学会
1979-2008
<Z14-741>
国立国会図書館
全国の図書館
情報処理学会論文誌 論文誌トランザクション
情報処理学会論文誌 論文誌トランザクション
記録メディア
雑誌
電子資料
情報処理学会
2008-2013
<YH247-812>
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力