NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1980s
(8)
1990s
(34)
2000s
(67)
2010s
(70)
2020s
(2)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(31)
Periodicals
(148)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
(6)
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(9)
Paper
(168)
Microform
Recording Media
(6)
Deselect all
Refiners
Refiners
Search results 180
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
コンピュータネットワーク 第6版
コンピュータネットワーク 第6版
Paper
図書
アンドリュー・S・タネンバウム, ニック・フィームスター, デイビッド・J・ウエザロール 著, 水野忠則, 相田仁, 東野輝夫, 太田賢, 西垣正勝, 渡辺尚 訳
日経BP
2023.3
<ND633-M123>
National Diet Library
Other Libraries in Japan
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
Paper
Digital
図書
東野輝夫 監修, 磯部祥尚 著
近代科学社
2012.12
<M159-L27>
National Diet Library
Other Libraries in Japan
Author introduction
東野 輝夫
(監修):大阪大学大学院情報科学研究科 教授 磯部 祥尚:産...
動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
Paper
図書
東野輝夫, 大阪大学 [著]
[東野輝夫]
2006-2007
<Y151-H18300020>
National Diet Library
コンピュータネットワーク 第5版
コンピュータネットワーク 第5版
Paper
図書
アンドリュー・S・タネンバウム, デイビッド・J・ウエザロール 著, 水野忠則, 相田仁, 東野輝夫, 太田賢, 西垣正勝, 渡辺尚 訳
日経BP社
2013.9
<ND633-L140>
National Diet Library
Other Libraries in Japan
実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
Paper
図書
東野輝夫, 大阪大学 [著]
[東野輝夫]
2003-2005
<Y151-H15300016>
National Diet Library
動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発
Paper
図書
研究代表者
東野 輝夫
[
東野 輝夫
]
2008.5
Other Libraries in Japan
ネツトワ-クモニタのハ-ドウエア合成に関する研究
ネツトワ-クモニタのハ-ドウエア合成に関する研究
Paper
図書
東野, 輝夫, 大阪大学
2001-2002
<Y151-H13650409>
National Diet Library
実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
実時間制約を含むネットワークシステムのHW/SWコデザインに関する研究
Paper
図書
研究代表者 東野輝夫
[東野輝夫]
2006.4
Other Libraries in Japan
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.)
Springer
c2007
Other Libraries in Japan
アサーションベース設計
アサーションベース設計
Paper
図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳
丸善
2004.9
<ND386-H98>
National Diet Library
Other Libraries in Japan
時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウエア化に関する研究
時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウエア化に関する研究
Paper
図書
東野, 輝夫, 大阪大学
1999-2000
<Y151-H11650379>
National Diet Library
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.)
Springer
c2005
Other Libraries in Japan
ネットワークモニタのハードウェア合成に関する研究
ネットワークモニタのハードウェア合成に関する研究
Paper
図書
研究代表者 東野輝夫
[東野輝夫]
2003.4
Other Libraries in Japan
実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
Paper
図書
東野, 輝夫, 大阪大学
1997-1998
<Y151-H09650414>
National Diet Library
時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究
時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究
Paper
図書
研究代表者 東野輝夫
[東野輝夫]
2001.3
Other Libraries in Japan
代数的仕様記述の検証に関する研究
代数的仕様記述の検証に関する研究
Paper
Digital
博士論文
東野輝夫 [著]
<UT51-59-F516>
Available online
National Diet Library
Other Libraries in Japan
実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
Paper
図書
研究代表者 東野輝夫
[東野輝夫]
1999.3
Other Libraries in Japan
コンピュータネットワーク 第3版
コンピュータネットワーク 第3版
Paper
図書
A・S・タネンバウム著 ; 水野忠則 [ほか] 訳
プレンティスホール出版
1999.5
Other Libraries in Japan
マルチメディア通信と分散処理ワークショップ論文集 (情報処理学会シンポジウムシリーズ = 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
Show more (21-)
Bulk download of bibliographic information