查詢 text:Computer systems Reliability. ，共 31 筆
查詢再細分
-
- 語言
- 英語(31)
-
- 作者
- Anand, Sheila.(1)
- Astesiano, E.(1)
- Bahar, R. Iris.(1)
- Basten, Twan.(1)
- Benso, Alfredo.(1)
- Bolger, Fergus.(1)
- Buttazzo, Giorgio C.,(1)
- Casey, Eoghan.(1)
- Chinnici, Marta.(1)
- Cohen, Michael L.(1)
- More
-
- 主題
- COMPUTERS(19)
- Reliability.(7)
- Fiabilité.(6)
- Data Processing.(4)
- TECHNOLOGY & ENGINEERING(4)
- Computer Science.(3)
- Computer systems(3)
- Ordinateurs(3)
- ProgrammingOpen Source.(3)
- Software Development & EngineeringGeneral.(3)
- More
-
- 館別
- 總圖(2)
-
4 0 0 0 0Computing systems reliability :models and analysis
- 作者: Xie, M.
- 出版: New York : Kluwer Academic/Plenum ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
Mechanizing proof :computing, risk, and trust
- 作者: MacKenzie, Donald A.
- 出版: Cambridge, Mass. : MIT Press ©2001.
- 資料類型: 電子書
-
18 0 0 0 0
Fault injection techniques and tools for embedded systems reliability evaluation
- 作者: Benso, Alfredo.
- 出版: Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
6 0 0 0 0
Building reliable component-based software systems
- 作者: Crnkovic, Ivica.
- 出版: Boston : Artech House ©2002.
- 資料類型: 電子書
-
33 0 0 0 0
Reliability issues for DoD systems :report of a workshop
- 作者: Samaniego, Francisco J.
- 出版: Washington, D.C. : National Academies Press ©2002.
- 資料類型: 電子書
-
6 0 0 0 0
Trust management :second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings
- 作者: Jensen, Christian D.
- 出版: Berlin ;London : Springer 2004.
- 資料類型: 電子書
-
5 0 0 0 0
Architecting dependable systems II
- 作者: Lemos, Rogério de,
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
3 0 0 0 0
Artificial intelligence and internet of things for renewable energy systems[electronic resource]
- 作者: Priyadarshi, Neeraj.
- 出版: Berlin ;Boston : De Gruyter c2022.
- 資料類型: 電子書
-
11 0 0 0 0
Getting started with openVMS system management :a guide for new users
- 作者: Duffy, Michael D.
- 出版: Boston : Digital Press ©2003.
- 資料類型: 電子書
-
7 0 0 0 0
Hard real-time computing systems :predictable scheduling algorithms and applications
- 作者: Buttazzo, Giorgio C.,
- 出版: Boston : Kluwer Academic Publishers ©1997.
- 資料類型: 電子書