語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Fault-tolerant computing
概要
作品:
3 作品在 3 項出版品 3 種語言
書目資訊
Architecting dependable systems
by:
(書目-語言資料,印刷品)
Architecting dependable systems II
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
主題
Computer systems - Reliability
Computer architecture
Fault-tolerant computing
Computer systems - Reliability
Computer architecture
Fault-tolerant computing
Software Engineering.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Operating Systems.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Fault-tolerant computing
Computer Science.
System analysis
處理中
...
變更密碼
登入