yr 〜
yr

Search results 7

2015 IEEE 21st Pacific Rim international symposium on dependable computing : (PRDC 2015) : Zhangjiajie, China : 18-20 November 2015 : Nov 2015, Zhangjiajie, China.

2015 IEEE 21st Pacific Rim international symposium on dependable computing : (PRDC 2015) : Zhangjiajie, China : 18-20 November 2015 : Nov 2015, Zhangjiajie, China.
Paper図書
IEEE[2015]<M17-17-638>
National Diet Library
  • Author Heading... Wang, Guojun. Tsuchiya, Tatsuhiro. Xiang, Dong.

教養のコンピュータアルゴリズム

教養のコンピュータアルゴリズム
Paper図書
土屋達弘 著共立出版2009.11<M159-J732>
National Diet LibraryOther Libraries in Japan

ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術

ディペンダブルシステム : 高信頼システム実現のための耐故障・検証・テスト技術
Paper図書
米田友洋, 梶原誠司, 土屋達弘 著共立出版2005.11<M154-H365>
National Diet LibraryOther Libraries in Japan

Design and evaluation of coteries for distributed mutual exclusion

Design and evaluation of coteries for distributed mutual exclusion
PaperDigital博士論文障害者向け資料あり
土屋達弘 [著]<UT51-99-K97>
Available onlineNational Diet Library

A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking

A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking
Digital文書・図像類
Sekizawa, Toshifusa, Tsuchiya, Tatsuhiro, Kikuno, Tohru, Takahashi, Koichi2008-03-03p.1-21
Other Libraries in Japan

Journal of the Physical Society of Japan

Journal of the Physical Society of Japan
Paper雑誌
Physical Society of Japan1946-<Z53-A404>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

分散相互排除を実現するコテリーの設計と評価

分散相互排除を実現するコテリーの設計と評価
Digital博士論文
土屋, 達弘
Available onlineOther Libraries in Japan

Reached to the end of result.