Jump to main content

yr 〜
yr

Search results 49

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)
Paper図書
Springerc2001.<M17-03-2311>
National Diet Library
  • Author HeadingYonezawa, Akinori. Matsuoka, Satoshi. Reflection...

社会基盤としてのセキユアコンピユ-テイングの実現方式の研究の推進と評価

社会基盤としてのセキユアコンピユ-テイングの実現方式の研究の推進と評価
Paper図書
米澤, 明憲, 東京大学2000-2002<Y151-H12308012>
National Diet Library

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
Paper図書
米澤明憲, 東京大学 [著][米澤明憲]2000-2003<Y151-TR747-001>
National Diet Library

World's Most Powerful Computer : Does It Reflect Japan's National Power?

World's Most Powerful Computer : Does It Reflect Japan's National Power?
Digital文書・図像類
Yonezawa, Akinori日本国際問題研究所2011-11-11136p.1-3
Other Libraries in Japan

Concurrent Objects and Beyond

Concurrent Objects and Beyond
Paper図書
小林, 直樹, Kobayashi, Naoki, 増原, 英彦, Masuhara, Hidehiko, 柴山, 悦哉, SHIBAYAMA, ETSUYA, Taura, Kenjiro, 松岡, 聡, MATSUOKA, SATOSHI, 米澤, 明憲, Yonezawa, AkinoriSpringer-Verlag2014-09Lecture notes in computer science, LNCS8665
Other Libraries in Japan

同期チヤネルとオブジエクトを持つ並列言語の分散共有記憶型並列計算機上の高効率実現

同期チヤネルとオブジエクトを持つ並列言語の分散共有記憶型並列計算機上の高効率実現
Paper図書
米澤, 明憲, 東京大学1996-1998<Y151-H08408008>
National Diet Library

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究

線形論理に基づく並列計算の枠組み及びプログラミング言語の設計・実装に関する研究
Paper図書
米澤, 明憲, 東京大学1994-1995<Y151-H06452389>
National Diet Library

並列オブジェクト指向言語処理系の汎用MIMD型並列計算機上での高効率な実現

並列オブジェクト指向言語処理系の汎用MIMD型並列計算機上での高効率な実現
Paper図書
米澤明憲, 東京大学1993-1995<Y151-H05558026>
National Diet Library

ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)

ソフトウェア工学の基礎 26 (レクチャーノート/ソフトウェア学 ; 45)
Paper図書
近代科学社2019.11<M154-M119>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)

ソフトウェア工学の基礎 25 (レクチャーノート/ソフトウェア学 ; 44)
Paper図書
近代科学社2018.11<M154-L575>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)

ソフトウェア工学の基礎 27 (レクチャーノート/ソフトウェア学 ; 46)
Paper図書
近代科学社2020.11<M154-M246>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)

ソフトウェア工学の基礎 24 (レクチャーノート/ソフトウェア学 ; 43)
Paper図書
近代科学社2017.11<M154-L419>
National Diet LibraryOther Libraries in Japan

並列オブジエクト指向計算におけるReflectionとその応用

並列オブジエクト指向計算におけるReflectionとその応用
Paper図書
米澤, 明憲, 東京大学1989-1991<Y151-H01420045>
National Diet Library

ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)

ソフトウェア工学の基礎 23 (レクチャーノート/ソフトウェア学 ; 42)
Paper図書
近代科学社2016.12<M159-L1062>
National Diet LibraryOther Libraries in Japan

並列オブジエクト指向プログラム言語の分散型処理系とデバツグ方式の研究

並列オブジエクト指向プログラム言語の分散型処理系とデバツグ方式の研究
Paper図書
米澤, 明憲, 東京工業大学1987-1988<Y151-S62460222>
National Diet Library

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)

ソフトウェア工学の基礎 18 (レクチャーノート/ソフトウェア学 ; 37)
Paper図書
門田暁人, 上野秀剛 編近代科学社2011.11<M159-J1472>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
Paper図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
National Diet LibraryOther Libraries in Japan

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
Paper図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
National Diet LibraryOther Libraries in Japan

Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics

Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics
Microform博士論文
Yonezawa, Akinori.Massachusetts Institute of Technology1978.<LS-DI-MIT-78-308>
National Diet Library
  • Author HeadingYonezawa, 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
Paper博士論文
米澤明憲 [著]<UT51-54-Y32>
National Diet Library
RSS