查詢 ext:Dagstuhl (2002 ,共 2 筆
查詢再細分
-
- 出版年
- 2004(2)
-
- 語言
- 英語(2)
-
- 作者
- Baier, Christel,(1)
- Dehne, F.(1)
- Downey, R. G.(1)
- Fellows, M. R.(1)
- Haverkort, Boudewijn R,(1)
- Hermanns, Holger,(1)
-
- 資料類型
- 電子書(2)
-
5 0 0 0 0
Validations of Stochastic Systems: A Guide to Current Research.
- 作者: Baier, Christel,
- 出版:
- 資料類型: 電子書
-
8 0 0 0 0
Parameterized and exact computation :first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
- 作者: Downey, R. G.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書