Jump to main content

yr 〜
yr

Search results 182

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

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

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

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan
  • Author introduction東野 輝夫（監修）：大阪大学大学院情報科学研究科 教授 磯部 祥尚：産...
  • Author Heading東野, 輝夫, 1956- 磯部, 祥尚 本位田, 真一, 1953-

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

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

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

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

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

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

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

動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
Paper図書
研究代表者 東野 輝夫[東野 輝夫]2008.5
Other Libraries in Japan
  • Author Heading東野, 輝夫

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

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

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

実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
Paper図書
研究代表者 東野輝夫[東野輝夫]2006.4
Other Libraries in Japan
  • Author Heading東野, 輝夫

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 : proceedings

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 : proceedings
Paper図書
Kedar S. Namjoshi ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingATVA Namjoshi, Kedar S. Yoneda, Tomohiro 東野, 輝夫 Okamura, Yoshio

アサーションベース設計

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

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

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

Principles of distributed systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers

Principles of distributed systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers
Paper図書
Teruo Higashino (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingOPODIS 東野, 輝夫

ネットワークモニタのハードウェア合成に関する研究

ネットワークモニタのハードウェア合成に関する研究
Paper図書
研究代表者 東野輝夫[東野輝夫]2003.4
Other Libraries in Japan
  • Author Heading東野, 輝夫

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

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

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

時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究
Paper図書
研究代表者 東野輝夫[東野輝夫]2001.3
Other Libraries in Japan
  • Author Heading東野, 輝夫

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

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

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

実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
Paper図書
研究代表者 東野輝夫[東野輝夫]1999.3
Other Libraries in Japan
  • Author Heading東野, 輝夫

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

コンピュータネットワーク 第3版
Paper図書
A・S・タネンバウム著 ; 水野忠則 [ほか] 訳プレンティスホール出版1999.5
Other Libraries in Japan
  • Author HeadingTanenbaum, Andrew S. 水野, 忠則 相田, 仁 東野, 輝夫 太田, 賢 (通信工学)

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.9)

マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2009 no.9)
Paper図書
情報処理学会2009.9<ND511-J18>
National Diet Library

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
  • Author Heading水野, 忠則, 1945- 東野, 輝夫, 1956- 白鳥, 則郎, 1946- IFIP Wor...
RSS