国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(2)
1980年代
(5)
1990年代
(15)
2000年代
(15)
2010年代
(12)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(46)
雑誌
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(5)
紙
(47)
マイクロ
(1)
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 49 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001 : Kyoto, Japan, September 25-28, 2001 : proceedings. : Sep 2001, Kyoto, Japan. (Lecture Notes in Computer Science ; 2192)
Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001 : Kyoto, Japan, September 25-28, 2001 : proceedings. : Sep 2001, Kyoto, Japan. (Lecture Notes in Computer Science ; 2192)
紙
図書
Springer
c2001.
<M17-03-2311>
国立国会図書館
著者標目
Yonezawa, Akinori
. Matsuoka, Satoshi. Reflectio...
社会基盤としてのセキユアコンピユ-テイングの実現方式の研究の推進と評価
社会基盤としてのセキユアコンピユ-テイングの実現方式の研究の推進と評価
紙
図書
米澤, 明憲, 東京大学
2000-2002
<Y151-H12308012>
国立国会図書館
「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
紙
図書
米澤明憲, 東京大学 [著]
[米澤明憲]
2000-2003
<Y151-TR747-001>
国立国会図書館
World's Most Powerful Computer : Does It Reflect Japan's National Power?
World's Most Powerful Computer : Does It Reflect Japan's National Power?
デジタル
文書・図像類
Yonezawa, Akinori
日本国際問題研究所
2011-11-11
136
p.1-3
全国の図書館
著者標目
Yonezawa, Akinori
Concurrent Objects and Beyond
Concurrent Objects and Beyond
紙
図書
小林, 直樹, Kobayashi, Naoki, 増原, 英彦, Masuhara, Hidehiko, 柴山, 悦哉, SHIBAYAMA, ETSUYA, Taura, Kenjiro, 松岡, 聡, MATSUOKA, SATOSHI, 米澤, 明憲,
Yonezawa, Akinori
Springer-Verlag
2014-09
Lecture notes in computer science, LNCS
8665
全国の図書館
著者標目
...SATOSHI 米澤, 明憲
Yonezawa, Akinori
同期チヤネルとオブジエクトを持つ並列言語の分散共有記憶型並列計算機上の高効率実現
同期チヤネルとオブジエクトを持つ並列言語の分散共有記憶型並列計算機上の高効率実現
紙
図書
米澤, 明憲, 東京大学
1996-1998
<Y151-H08408008>
国立国会図書館
線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究
線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究
紙
図書
米澤, 明憲, 東京大学
1994-1995
<Y151-H06452389>
国立国会図書館
ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)
ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)
紙
図書
近代科学社
2019.11
<M154-M119>
国立国会図書館
全国の図書館
並列オブジェクト指向言語処理系の汎用MIMD型並列計算機上での高効率な実現
並列オブジェクト指向言語処理系の汎用MIMD型並列計算機上での高効率な実現
紙
図書
米澤明憲, 東京大学
1993-1995
<Y151-H05558026>
国立国会図書館
ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)
ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)
紙
図書
近代科学社
2018.11
<M154-L575>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)
ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)
紙
図書
近代科学社
2020.11
<M154-M246>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)
ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)
紙
図書
近代科学社
2017.11
<M154-L419>
国立国会図書館
全国の図書館
並列オブジエクト指向計算におけるReflectionとその応用
並列オブジエクト指向計算におけるReflectionとその応用
紙
図書
米澤, 明憲, 東京大学
1989-1991
<Y151-H01420045>
国立国会図書館
ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)
ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)
紙
図書
近代科学社
2016.12
<M159-L1062>
国立国会図書館
全国の図書館
並列オブジエクト指向プログラム言語の分散型処理系とデバツグ方式の研究
並列オブジエクト指向プログラム言語の分散型処理系とデバツグ方式の研究
紙
図書
米澤, 明憲, 東京工業大学
1987-1988
<Y151-S62460222>
国立国会図書館
ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
紙
図書
門田暁人, 上野秀剛 編
近代科学社
2011.11
<M159-J1472>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
紙
図書
高田眞吾, 福田浩章 編
近代科学社
2010.11
<M159-J1130>
国立国会図書館
全国の図書館
ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
紙
図書
中島震, 鷲崎弘宜 編
近代科学社
2009.11
<M159-J740>
国立国会図書館
全国の図書館
Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics
Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics
マイクロ
博士論文
Yonezawa, Akinori
.
Massachusetts Institute of Technology
1978.
<LS-DI-MIT-78-308>
国立国会図書館
著者標目
Yonezawa, Akinori
.
Specification and verification techniques for parallel programs based on message passing semantics
Specification and verification techniques for parallel programs based on message passing semantics
紙
博士論文
米澤明憲 [著]
<UT51-54-Y32>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力