著書

分割表示 >> ／  全件表示  14 件中 1 - 14 件目

  1. 専門著書，ユビキタスセンサネットワークによる災害時支援，東野輝夫, 内山彰，電子情報通信学会，2012年09月

  2. 専門著書，無線ネットワーク技術を用いた災害時救命救急支援，内山彰, 東野輝夫, 大出靖将, 田中裕，プラネット，2011年10月

  3. その他，2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan，Tohru Asami, Teruo Higashino，IEEE，2011年08月

  4. 専門著書，Geographic Routing on Vehicular ad hoc Networks，Hirozumi Yamaguchi, Weihua Sun, Teruo Higashino，IGI Global，2010年04月

  5. 専門著書，Automated Technology for Verification and Analysis，Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino and Yoshio Okamura，Springer，ＩＳＢＮ，0302-9743，2007年10月

  6. 専門著書，OPODIS 2004 : 8th International Conference on Principles of Distributed Systems，Teruo Higashino，Lecture Notes in Computer Sciences，2005年07月

  7. 専門著書，アサーションベース設計原著2版「監訳」，東野輝夫，岡野浩三，中田明夫 監訳後藤謙治 他 訳，丸善株式会社，2004年09月

  8. 専門著書，コンピュータネットワーク第3版，水野忠則,相田仁,東野輝夫,太田剛，プレンティスホール出版，1999年06月

  9. 専門著書，Formal Description Techniques-FORTE/PSTV'97-，T.Mizuno,N.Shiratori,T.Higashino and A.Togashi，Chapman & Hall，1997年11月

  10. 一般著書，新版情報処理ハンドブック「プロトコル技術」，東野輝夫，情報処理学会，1995年11月

  11. 専門著書，Protocol Test Systems 7th Workshop，T.Mizuno,N.Shiratori,T.Higashino and A.Togashi，Chapman & Hall，1995年06月

  12. 一般著書，コンピュータプロトコルの設計法，水野忠則,東野輝夫,佐藤文明,太田剛，カットシステム社，1994年11月

  13. 一般著書，プロトコル言語，水野忠則,東野輝夫，カットシステム社，1994年07月

  14. 専門著書，An Algebraic Method for Verifying Progress Property of Communication Protocols，Teruo Higashino，World Scientific Series in Computer Science，1991年04月

< 前のページ - 次のページ >

  • 1
このページの先頭へ▲