查詢 text:Validierung ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Baier, Christel,(1)
- Haverkort, Boudewijn R,(1)
- Hermanns, Holger,(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Analyse stochastique.(1)
- Computer logic.(1)
- Computers(1)
- Computers.(1)
- Dagstuhl (2002)(1)
- Génie logiciel.(1)
- Logique informatique.(1)
- MATHEMATICS(1)
- Mathematics(1)
- Mathematics.(1)
-
7 0 0 0 0Validations of Stochastic Systems: A Guide to Current Research.
- 作者: Baier, Christel,
- 出版:
- 資料類型: 電子書