圖書館館藏資料查詢系統

簡易查詢
進階查詢
縮小查詢範圍

ADD

進階選項

縮小查詢範圍

出版年 ~
語言
資料類型
只查被收藏的書目

查詢再細分

出版年

2001(1)

1999(1)
語言

英語(2)
作者

Aven, Terje.(1)

Jensen, Uwe,(1)

MacKenzie, Donald A.(1)
資料類型

電子書(2)
主題

Betrouwbaarheid.(2)

Automatische bewijsvoering.(1)

Bewijstheorie.(1)

COMPUTERS(1)

Computer Science.(1)

Computer systems(1)

Computers and civilization.(1)

Computersystemen.(1)

Engineering & Applied Sciences.(1)

Fiabilité(1)

Fiabilité.(1)

Mathematical models.(1)

Modèles mathématiques.(1)

Ordinateurs et civilisation.(1)

Processus stochastiques.(1)

Quality Control.(1)

Reliability (Engineering)(1)

Reliability.(1)

Software Development & EngineeringSystems Analysis & Design.(1)

Stochastic processes.(1)

Stochastische modellen.(1)

Systeemanalyse.(1)

Systèmes informatiques(1)

TECHNOLOGY & ENGINEERING(1)

Verificatie.(1)

呈現
排序
1 / 1頁
筆數

本頁勾選/
勾選(0筆)/
儲存列印 E-Mail

9 0 0 0 0

Stochastic models in reliability
- 作者: Aven, Terje.
- 出版: New York : Springer ©1999.
- 資料類型: 電子書
9 0 0 0 0

Mechanizing proof :computing, risk, and trust
- 作者: MacKenzie, Donald A.
- 出版: Cambridge, Mass. : MIT Press ©2001.
- 資料類型: 電子書

呈現
排序
1 / 1頁
筆數