Jump to main content

yr 〜
yr

Search results 14

Stabilization, safety, and security of distributed systems : 15th international symposium, SSS 2013 : Osaka, Japan, November 13-16, 2013 : proceedings : Nov 2013, Osaka, Japan. (Lecture Notes in Computer Science ; 8255)

Stabilization, safety, and security of distributed systems : 15th international symposium, SSS 2013 : Osaka, Japan, November 13-16, 2013 : proceedings : Nov 2013, Osaka, Japan. (Lecture Notes in Computer Science ; 8255)
Paper図書
Springerc2013.<M17-14-1318>
National Diet Library
  • Author Heading... Osaka, Japan) Higashino, Teruo. Katayama, Yoshiaki. Masuzawa,...

Principles of distributed systems : 8th international conference, OPODIS 2004 : Grenoble, France, December 15-17, 2004 : revised selected papers. : Dec 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3544)

Principles of distributed systems : 8th international conference, OPODIS 2004 : Grenoble, France, December 15-17, 2004 : revised selected papers. : Dec 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3544)
Paper図書
Springerc2005.<M17-06-97>
National Diet Library
  • Author HeadingHigashino, Teruo. OPODIS 2004 (2004 : Grenoble,...

代数的仕様記述の検証に関する研究

代数的仕様記述の検証に関する研究
Paper博士論文
東野輝夫 [著]<UT51-59-F516>
National Diet Library

動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発

動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
Paper図書
東野輝夫, 大阪大学 [著][東野輝夫]2006-2007<Y151-H18300020>
National Diet Library

コンピュータネットワーク 第6版

コンピュータネットワーク 第6版
Paper図書
アンドリュー・S・タネンバウム, ニック・フィームスター, デイビッド・J・ウエザロール 著, 水野忠則, 相田仁, 東野輝夫, 太田賢, 西垣正勝, 渡辺尚 訳日経BP2023.3<ND633-M123>
National Diet LibraryOther Libraries in Japan

ネツトワ-クモニタのハ-ドウエア合成に関する研究

ネツトワ-クモニタのハ-ドウエア合成に関する研究
Paper図書
東野, 輝夫, 大阪大学2001-2002<Y151-H13650409>
National Diet Library

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan

実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究

実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
Paper図書
東野輝夫, 大阪大学 [著][東野輝夫]2003-2005<Y151-H15300016>
National Diet Library

コンピュータネットワーク 第5版

コンピュータネットワーク 第5版
Paper図書
アンドリュー・S・タネンバウム, デイビッド・J・ウエザロール 著, 水野忠則, 相田仁, 東野輝夫, 太田賢, 西垣正勝, 渡辺尚 訳日経BP社2013.9<ND633-L140>
National Diet LibraryOther Libraries in Japan

時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウエア化に関する研究

時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウエア化に関する研究
Paper図書
東野, 輝夫, 大阪大学1999-2000<Y151-H11650379>
National Diet Library

実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築

実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
Paper図書
東野, 輝夫, 大阪大学1997-1998<Y151-H09650414>
National Diet Library

アサーションベース設計

アサーションベース設計
Paper図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳丸善2004.9<ND386-H98>
National Diet LibraryOther Libraries in Japan

IWPTS VII : 7th IFIP WG 6.1 International Workshop on Protocol Test Systems, Nov. 8-10, 1994, the Hotel Strada, Tokyo, Japan

IWPTS VII : 7th IFIP WG 6.1 International Workshop on Protocol Test Systems, Nov. 8-10, 1994, the Hotel Strada, Tokyo, Japan
Paper図書
edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori[s.n.][1994]<M15-A9359>
National Diet Library

「レ」線の全血液殺菌力に及ぼす影響に関する実験的研究

「レ」線の全血液殺菌力に及ぼす影響に関する実験的研究
Paper博士論文
東野旭男 [著]<UT51-医31-1462>
National Diet Library

Reached to the end of result.

RSS