1. |
- Abdulla, Parosh, et al.
(författare)
-
Eager Markov Chains
- 2006
-
Ingår i: Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). ; , s. 24-38
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
2. |
|
|
3. |
- Adamiak, Grazyna Teresa, et al.
(författare)
-
Situation in Sweden
- 2003
-
Ingår i: Integrated Care in Europe.. - 90 352 26054 ; , s. 41-68
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
4. |
|
|
5. |
|
|
6. |
|
|
7. |
|
|
8. |
|
|
9. |
- Bengt, Göransson, et al.
(författare)
-
Usability Design : Extending Rational Unified Process with a New Discipline
- 2003
-
Ingår i: Interactive Systems: Design, Specification and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003, Revised Papers, LNCS 2844. - 3540201599 ; , s. 316-330
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
10. |
|
|